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


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