Test Tex

tags: guide

< texi \varphi > < texd \begin{aligned} \varphi &\Rightarrow \psi \\ \varnothing &\rightarrow A \end{aligned} >