alltt 环境按字面意思解释反斜杠，而我的输入文本中充满了反斜杠，因此我使用 verbatim 环境来排版代码。
一切正常，但是它没有排版通用量词。
据称 XeLaTeX 可以更好地处理 Unicode，但在这里却失败了。
在我的问题中软件包 alltt 未对双引号进行排版一条评论提醒我，在 XeLaTeX 中我不能使用 fontenc 和 inputenc，所以我不能使用
\DeclareUnicodeCharacter{2200}{$\forall$}
我尝试了 unicode-math 包但也没有帮助。
如何使用 XeLaTeX 在逐字环境中排版 Unicode 字符 U+2200 通用量词？