The TeX Catalogue Online

by Graham Williams

CTAN Edition

semantic No caption.
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
Visit CTAN:macros/latex/contrib/supported/semantic Download from somewhere nearby (Search) Download from Dante Included in TeXLive distribution in latex3 License: lppl     Catalogued: 1999/03/03