这是这个答案的后续内容：
https://tex.stackexchange.com/a/593973/27523
它建议使用
\DeclareUnicodeCharacter
命令使用 Unicode 源字符。
现在的问题是，我使用需要数学模式的数学 Unicode 字符，因此我使用
\DeclareUnicodeCharacter{2200}{$\forall$}
\DeclareUnicodeCharacter{22A2}{$\vdash$}
\DeclareUnicodeCharacter{2227}{$\land$}
这会导致排版字符但不使用 tt 字体，因为周围的 alltt 环境会指示这一点。
我怎样才能让 Unicode 数学符号以 tt 字体显示？