二元运算符和对齐环境

Question

像这样的代码：

\usepackage{amsmath}

%logical equivalence
\newcommand{\eq}{\mathbin{\Leftrightarrow}}

\begin{document}

\begin{align*}
    & (true \eq true) \\
 \eq& (false \eq false) \\
 \eq& true \\
   =& true = true
\end{align*}

\end{document}

显示如下内容：

&如您所见，当对齐标记挡住路过时，相等和等价符号均不提供间距。\eq类似这样的定义如下：

\newcommand{\eq}{\ \Leftrightarrow\ }

但它似乎不太合适，而且无法修复诸如 之类的运算符=。那么有没有办法在二元运算符后加一个空格，然后跟一个对齐标记？

Answer 1

我认为这\mathbin不是合适的数学类型。

当你想在关系符号后添加对齐点时，这是一个常见问题。在这种情况下，你需要添加{}一个空的普通原子来触发正确的间距。

\documentclass{article}
\usepackage{amsmath}

%logical equivalence
\newcommand{\eq}{\Leftrightarrow} % \Leftrightarrow is \mathrel

\begin{document}

\begin{align*}
    & (\mathit{true} \eq \mathit{true}) \\
 \eq{}& (\mathit{false} \eq \mathit{false}) \\
 \eq{}& \mathit{true} \\
   ={}& \mathit{true} = \mathit{true}
\end{align*}

\end{document}