Browse common mathematical operators and Greek letters for your LaTeX documents.
Necessarily
\BoxPossibly
\DiamondNot Necessary
\neg\BoxNot Possible
\neg\DiamondNecessary Implication
\Box(p \to q)Possible Conjunction
\Diamond(p \land q)Knows
K_a pBelieves
B_a pCommon Knowledge
C_G pTemporal Always
\Box pTemporal Eventually
\Diamond pUntil
p \mathcal{U} qNext
\bigcirc pAccessibility
w R vKripke Model
\mathcal{M}, w \models pPossible World
wDeontic Ought
O pDeontic Permitted
P p