[Top][All Lists]

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

[help-texinfo] Typing rules in Texinfo manual

From: Stefan Monnier
Subject: [help-texinfo] Typing rules in Texinfo manual
Date: Mon, 15 Feb 2016 13:38:57 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux)

I'm working on a new (academic) language and would like to write its doc
in Texinfo, but part of the doc should be formal typing rules, which are
traditionally typeset in LaTeX with things like \frac (or other ways to
get similar "derivation rules").  What would be my best option in
Texinfo?  I can't see anything like @frac so it seems that I might be
stuck with writing separate things for the various PDF/Info/HTML
outputs, which I'd rather avoid.

In Info, I'd like to be able to get things that look like:

     Env |- Exp1 : Type1            Env |- Exp2 : Type2
                 Env |- Exp3 : Type3

What do you think would be the least painful way to write
this in Texinfo?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]