grammar.sty
changeset 582 d236e75e1d55
parent 295 19f23c4c2167
--- 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}}}}