grammar.sty
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 05 Nov 2015 02:11:13 +0000
changeset 422 abe178b3197e
parent 332 8eab185fb187
permissions -rw-r--r--
finished ZKP protocols

\usepackage{listproc}
\usepackage{plstx}

\newcommand*{\meta}[1]{{\ensuremath{\langle}\textit{#1}\/\ensuremath{\rangle}}}