grammar.sty
author Christian Urban <urbanc@in.tum.de>
Tue, 26 Sep 2017 12:47:25 +0100
changeset 538 456d1d6676f9
parent 332 8eab185fb187
permissions -rw-r--r--
update
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
332
8eab185fb187 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\usepackage{listproc}
8eab185fb187 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\usepackage{plstx}
8eab185fb187 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
8eab185fb187 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
\newcommand*{\meta}[1]{{\ensuremath{\langle}\textit{#1}\/\ensuremath{\rangle}}}