Log Message: tex-semantic{,-doc}: Added version 2.0 Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.