考虑这个例子：
\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”对齐，就像在第二个对齐中一样，但在之后有正确的间距（即，像在第一个对齐中一样）。
答案1
TeX 添加\medmuskip空格大约当它被合适的原子包围时，就是一个二元运算符号。
在您的情况下，左原子{}由提供，&而\pi右原子则由提供。
删除间距：
\documentclass{amsart}
\usepackage{mathtools}
\begin{document}
\begin{align*}
(\,&p\in P\to p\neq 0\\
&\mspace{-\medmuskip}\wedge\pi=3\,)
\end{align*}
\end{document}
