[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


I know nothing about texstudio and don't know what "It builds with no
errors" means.  To run tlatex on a LaTeX file foo.tex, you should run
a command something like

   java tla2tex.TeX foo

This rewrites the file foo.tex, inserting appropriate LaTeX commands
below each tla environment.  It does not run LaTeX.

I have no idea how the texstudio tex editor reacts if the file foo.tex
is changed by an external program.


On Monday, April 23, 2018 at 6:04:21 AM UTC-7, Pedro Paiva wrote:
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

    Action == /\ x'   = x - y
    /\ y'  = y

It builds with no errors, but nothing appears in the generated pdf file. Probably I'm doing something wrong. Could someone help me? Thanks!

Best regards,

Pedro Yuri Arbs Paiva
Engenheiro Eletrônico
Instituto Tecnológico de Aeronáutica (T-16)
(+55) 12 98106-4129