LaTeX macros for typesetting semantics (linguistics)