--- 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}}}}