
diff -r 54a1fbe96b14 -r 8eab185fb187 grammar.sty
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/grammar.sty	Tue Nov 25 03:30:11 2014 +0000
@@ -0,0 +1,4 @@
+\usepackage{listproc}
+\usepackage{plstx}
+
+\newcommand*{\meta}[1]{{\ensuremath{\langle}\textit{#1}\/\ensuremath{\rangle}}}




