我正在使用语义包来生成推理规则。我的推理规则包含相当多的\langle和\rangle，所以我为这些命令制作了连字符，如下所示：
\mathlig{<}{\langle}
\mathlig{>}{\rangle}
但是，现在我不能用<它来表示“小于”，因为它已经变成了\langle。
答案1
这语义包\mathligsoff在这种情况下建议使用命令，即
\mathligsoff $1 < 10$ \mathligson
使用语义包时可以关闭连字吗
我正在使用语义包来生成推理规则。我的推理规则包含相当多的\langle和\rangle，所以我为这些命令制作了连字符，如下所示：
\mathlig{<}{\langle}
\mathlig{>}{\rangle}
但是，现在我不能用<它来表示“小于”，因为它已经变成了\langle。
这语义包\mathligsoff在这种情况下建议使用命令，即
\mathligsoff $1 < 10$ \mathligson