到目前为止，我一直在写\forall\, x\in X\colon \varphi(x)，如果我真的希望在窄线宽中获得更好的间距和换行效果，那么\forall\penalty1\mskip3mu plus1.5mu minus1.5mu x\penalty2\mskip-2mu plus1mu minus1mu\in\penalty2\mskip-2mu plus1mu minus1mu X\colon\penalty1 \varphi(x)。
然而，https://tex.stackexchange.com/a/676323这让我想到\colonamsmath 的默认值可能不适合在量化表达式中使用。在 testmath.pdf 中我根本看不到 ∃，而 ∀ 只用于后置，即在形式为“