Abstand um binäre Operatoren in Ausrichtungen

Question

Betrachten Sie dieses Beispiel:

\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}

Wie in dieser Frage erläutert , treten bei der Verwendung von & und binären Operatoren Abstandsprobleme auf. In der ersten Ausrichtung gibt es einen zusätzlichen Abstand, obwohl ich das & vor den binären Operator (Keil) setze. Natürlich beeinträchtigt die versuchte Lösung (zweite Ausrichtung) auch den Abstand, da die geschweiften Klammern den Abstand der binären Operatoren neutralisieren. Dies kann möglicherweise gelöst werden, indem der Abstand der binären Operatoren seitwärts festgelegt wird, aber ich weiß nicht, ob dies überhaupt möglich ist.

BEARBEITEN

Wie von @azetina gefordert: Ich möchte, dass das Keilsymbol in Bezug auf den Buchstaben "p" wie in der zweiten Ausrichtung ausgerichtet wird, jedoch mit dem richtigen Abstand danach (nämlich wie in der ersten Ausrichtung).

Answer 1

TeX fügt \medmuskipPlatz um ein binäres Operationssymbol hinzu, wenn es von geeigneten Atomen umgeben ist.

In Ihrem Fall wird das linke Atom {}vom &und geliefert und \piist das rechte Atom.

Entfernen Sie den Abstand:

\documentclass{amsart}
\usepackage{mathtools}

\begin{document}

\begin{align*} (\,&p\in P\to p\neq 0\\ &\mspace{-\medmuskip}\wedge\pi=3\,) \end{align*}

\end{document}