使用语义包时可以关闭连字吗

Question

我正在使用语义包来生成推理规则。我的推理规则包含相当多的\langle和\rangle，所以我为这些命令制作了连字符，如下所示：

\mathlig{<}{\langle}
\mathlig{>}{\rangle}

但是，现在我不能用<它来表示“小于”，因为它已经变成了\langle。

Answer 1

这语义包\mathligsoff在这种情况下建议使用命令，即

\mathligsoff $1 < 10$ \mathligson