Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.

Homepage:
https://ctan.org/pkg/semantic
