![对齐中二元运算符周围的空格](https://linux22.com/image/424165/%E5%AF%B9%E9%BD%90%E4%B8%AD%E4%BA%8C%E5%85%83%E8%BF%90%E7%AE%97%E7%AC%A6%E5%91%A8%E5%9B%B4%E7%9A%84%E7%A9%BA%E6%A0%BC.png)
考虑这个例子:
\documentclass{amsart}
\usepackage{mathtools}
\begin{document}
\begin{align*}
(\,&p\in P\to p\neq 0\\
&\wedge\ \pi=3\,)
\end{align*}
%
\begin{align*}
(\,&p\in P\to p\neq 0\\
&{\wedge}\ \pi=3\,)
\end{align*}
\end{document}
正如所讨论的这问题是,使用 & 和二元运算符时存在间距问题。在第一次对齐中,即使我将 & 放在二元运算符(楔形)之前,也存在额外的间距。当然,尝试的解决方案(第二次对齐)也会弄乱间距,因为花括号会中和二元运算符间距。这也许可以通过将二元运算符间距横向放置来解决,但我不知道这是否可行。
编辑
按照@azetina 的要求:我希望楔形符号相对于字母“p”对齐,就像在第二个对齐中一样,但在之后有正确的间距(即,像在第一个对齐中一样)。