使用自定义标签枚举中心方程

Question

所以这就是我想要得到的：

问题是我无法让公式居中。所以现在的代码如下所示：

\usepackage{amsthm,amsmath,amssymb,mathtools}
\usepackage{enumitem}
\DeclareMathOperator{\imp}{\rightarrow}

\begin{document}

\begin{enumerate}
    \item[(KP)]  $\forall p(p\imp\Diamond Kp)$
\end{enumerate}

\end{document}

我怎样才能使它看起来像图片中的那样？

Answer 1

这可能就是你所追求的：

\documentclass{article}
\usepackage[leqno]{amsmath}
\usepackage{amssymb}
\DeclareMathOperator{\imp}{\rightarrow}
\begin{document}
\begin{equation}
  \forall p(p\imp\Diamond Kp)\tag{KP}
\end{equation}
\end{document}