如何正确地 tex $:\iff$？

Question

在线程中“定义为逻辑等价”的符号（:⇔）上一节中，我们讨论了如何正确使用 tex ":⇔"。正如我们所学到的，解决方案是定义以下新命令：

\newcommand*{\logeq}{\ratio\Leftrightarrow}

现在这只适用于

\Leftrightarrow

我感兴趣的是如何正确地对“冒号 \iff”进行文本处理，也就是说，

\Longleftrightarrow

代替

\Leftrightarrow

Answer 1

\iff类似于，\Longleftrightarrow但两侧都留有一定的空间 -\;或\thickmuskip（见有哪些命令可以控制水平间距？）。 那，

\def\pshow#1{{\let\protect\show#1}}
\pshow\iff

产量

> \iff =\long macro:
->\;\Longleftrightarrow \;.
\iff ->\protect \iff  

相比之下.log，

\pshow\Longleftrightarrow

产量

> \Longleftrightarrow =\long macro:
->\Leftarrow \joinrel \Rightarrow .

在.log-a\join或relations\Leftarrow和 中\Rightarrow，没有在外面添加空格。

\documentclass{article}
\usepackage{colonequals}
\newcommand*{\logeq}{\ratio\Leftrightarrow}
\newcommand*{\longeq}{\ratio\Longleftrightarrow}
\begin{document}
\[ A \logeq B \longeq C \]
\end{document}