Just playing around with golang AST API, following along this post: https://eli.thegreenplace.net/2021/rewriting-go-source-code-with-ast-tooling/ This should render as math $\cfrac{\vdash A}{\vdash \square A}$