如何才能使名称对齐并正确显示？

Question

我有一个类似的代码\begin{aligned}{\emph{Culling}} \forall x(\Sigma(x)\leftrightarrow & \Pi \wedge\\ & \forall m,n((m, y)\})\end{aligned}，并且 amsmath 和 amsthm 都在包之中。

斜体名称显示为剔除在左侧，并缩进。

我怎样才能得到标准字体的名称，并在第一行向右对齐？（或者，也许更好的是，在正文中两行之间的中间行向右对齐。）

更新：

参照 Anton Mn 的建议，以下是一份 mwe，显示了该建议的不足之处：

\documentclass{article}
\usepackage{amsmath, enumitem}
\begin{document}
\begin{enumerate}[label=\texttt{\alph*},align=left,ref=\texttt{\alph*}]
        \item $\forall y(\textnormal{Formula 1})$\null\hfill P 
    
    \item $\begin{aligned}{\emph{Name 0}}
        \forall x(\textnormal{Formula 2} &   \forall n(\textnormal{Formula 3}\\ &   \forall m,n(\textnormal{Formula 4})\end{aligned}$
    \item For $\alpha(y,z)$ a first order condition so that \ldots \null\hfill Name 1
    
    \item \[ 
    \begin{aligned}
        \forall x(\Sigma(x)\leftrightarrow &   \Pi  \wedge \\&   \forall m,n((m, y)\})
    \end{aligned}
    \tag{Name 2}
    \]
\end{enumerate}

\end{document}

Answer 1

我想你想要的是这个：

\[ 
 \begin{aligned}
   \forall x(\Sigma(x)\leftrightarrow &   \Pi  \wedge \\&   \forall m,n((m, y)\})
 \end{aligned}
 \tag{\emph{Culling}}
\]

Answer 2

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{flalign}
\begin{aligned} \forall x(\Sigma(x)\leftrightarrow &   \Pi  \wedge\\ &   \forall m,n((m, y)\})\end{aligned}\text{Constant}\label{eq:a}
\end{flalign}

\begin{alignat*}{2}
\begin{aligned} \forall x(\Sigma(x)\leftrightarrow &   \Pi  \wedge\\ &   \forall m,n((m, y)\})\end{aligned} &\qquad &\text{(Constant)}
\end{alignat*}

\end{document}