grammar.sty
changeset 295 19f23c4c2167
child 582 d236e75e1d55
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/grammar.sty	Sun Nov 02 09:10:15 2014 +0000
@@ -0,0 +1,4 @@
+\usepackage{listproc}
+\usepackage{plstx}
+
+\newcommand*{\meta}[1]{{\ensuremath{\langle}\textit{#1}\/\ensuremath{\rangle}}}