2022-08-26

Test Tex

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