我正在使用句法包,我想定义一个语法,如下:
Rule = Head -> Tail
但是当我这样做时:
\begin{grammar}
<rule> ::= <head> `$\rightarrow$' <tail>
我收到一条错误消息,提示插入了缺失的 $。
如何单引号引用数学字符?
谢谢
答案1
反引号`
是环境中的特殊字符grammar
。\string
如果您想要一个开头的引号,请在其前面加上:
\documentclass{article}
\usepackage{syntax}
\begin{document}
\begin{grammar}
<rule> ::= <head> \string`$\rightarrow$' <tail>
\end{grammar}
\end{document}