# Inference Rules and T-diagrams with the semantic Package

Author
LianTze Lim
AbstractSome examples of typesetting inference rules and T-diagrams using the semantic package.