2022-08-26

Test Tex

tags: guide

< texi \varphi > < texd $$\begin{array}{rl}\phi & \Rightarrow \psi \\ \varnothing & \to A\end{array}$$ >