Hi there,
I'm trying to use the tlatex package within the tex editor (texstudio) to write TLA+ expressions. I included the \usepackage{tlatex} line and tried to write something simple like
\begin{tla}
Action == /\ x' = x - y
/\ y' = y
\end{tla}
It builds with no errors, but nothing appears in the generated pdf file. Probably I'm doing something wrong. Could someone help me? Thanks!