Index: docs/language/dart.sty |
diff --git a/docs/language/dart.sty b/docs/language/dart.sty |
index 125c7717ebf1dcb54c3b151b81920328428256c4..1471add0f040ca8b59dcd6a4bd22509a0714dc5e 100644 |
--- a/docs/language/dart.sty |
+++ b/docs/language/dart.sty |
@@ -84,6 +84,9 @@ |
%\end{verbatim} |
} |
+% For grammar (both lexer and parser) symbols, used in text. |
+\newcommand{\GrammarSymbol}[1]{{\bf{#1}}} |
+ |
% ---------------------------------------------------------------------- |
% Support for hash valued Location Markers |