☰

Logix 包 \Rplc 符号不起作用

tag-icon • tag-icon symbols logic
Logix 包 \Rplc 符号不起作用

我正在使用 LuaLatex逻辑包（添加逻辑符号），除任何“\Rplc”箭头外，所有新符号均可正常工作。这些符号似乎未定义，但它们在包中？例如，如果我简单地：

\documentclass{article}
\usepackage{logix}
\begin{document}
\to 
\Rule 
\RplcAll
\end{document}

然后会出现 \to 符号，还有来自 logix 的新 \Rule 符号，但 \RplcAll 符号给出了未定义的控制序列。我该如何使用这些箭头？

相关内容