![使用语义包时可以关闭连字吗](https://linux22.com/image/340891/%E4%BD%BF%E7%94%A8%E8%AF%AD%E4%B9%89%E5%8C%85%E6%97%B6%E5%8F%AF%E4%BB%A5%E5%85%B3%E9%97%AD%E8%BF%9E%E5%AD%97%E5%90%97.png)
我正在使用语义包来生成推理规则。我的推理规则包含相当多的\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