name semantic category Package shortdesc Help for writing programming language semantics. longdesc Eases the typesetting of notation of semantics and compilers. longdesc Includes T-diagrams, various derivation symbols and inference longdesc trees. [description copied from TeX Catalogue]