
diff -r 4782a4bfc888 -r cd7a08469b3c grammar.sty
--- a/grammar.sty	Tue Oct 16 14:40:30 2018 +0100
+++ b/grammar.sty	Mon Oct 22 23:37:11 2018 +0100
@@ -1,4 +1,4 @@
 \usepackage{listproc}
 \usepackage{plstx}
 
-\newcommand*{\meta}[1]{{\ensuremath{\langle}\textit{#1}\/\ensuremath{\rangle}}}
+\newcommand*{\meta}[1]{{\textbf{\textit{#1}}}}




