\mathlig 可以在文档的稍后部分进行更改吗？

Question

这是关于包\mathlig提供的命令semantic。

是否可以更改符号组合在文档中的映射内容？例如，是否可以先使用\mathlig{|-}{\vdash}，然后重新定义为包含下标，例如\mathlig{|-}{\vdash_\tau}？

Answer 1

你试过了吗？它似乎正如你所希望的那样工作。

\documentclass{article}
\usepackage[ligature]{semantic}

\begin{document}
\mathlig{|-}{\vdash}

First definition: $|-$

\mathlig{|-}{\vdash_\tau}
Second definition: $|-$
\end{document}