![使用自定义标签枚举中心方程](https://linux22.com/image/409627/%E4%BD%BF%E7%94%A8%E8%87%AA%E5%AE%9A%E4%B9%89%E6%A0%87%E7%AD%BE%E6%9E%9A%E4%B8%BE%E4%B8%AD%E5%BF%83%E6%96%B9%E7%A8%8B.png)
答案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}
这可能就是你所追求的:
\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}