我有两个模态运算符必要的和可能的在我的文档中。由于我不太喜欢\Diamond
该amssymb
软件包中的标准,因此我使用该fdsymbol
软件包。
\documentclass{article}
\usepackage{amssymb}
\usepackage{fdsymbol}
\newcommand{\necessary}{\Box}
\newcommand{\possible}{\Diamond}
\begin{document}
\[\necessary\possible\necessary p\land q\]
\end{document}
不幸的是,当组合这些运算符时,它们之间的间距太大:
当我不使用时,就不会出现这个问题fdsymbol
:
我怎样才能解决这个问题?
答案1
使用\mathord{..}
或 即可{..}
。
\newcommand*\necessary{\mathord{\Box}}
\newcommand*\possible{\mathord{\Diamond}}