![二元运算符和对齐环境](https://linux22.com/image/456782/%E4%BA%8C%E5%85%83%E8%BF%90%E7%AE%97%E7%AC%A6%E5%92%8C%E5%AF%B9%E9%BD%90%E7%8E%AF%E5%A2%83.png)
像这样的代码:
\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\ }
但它似乎不太合适,而且无法修复诸如 之类的运算符=
。那么有没有办法在二元运算符后加一个空格,然后跟一个对齐标记?
答案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}