Verbatim-gen – Generic macros for setting text verbatim

Defines a verbatim environment – one types \verbatim<text>\mitabrev. Short-form versions used as |<text>| or Ý<text>Ý are provided for small chunks of text.