Is it just me, or are the modal logic operators not very pretty side by side in the Computer Modern font?
Also, there doesn’t seem to be a satisfying Unicode character for “box” and “diamond” 😕
@otini U+25FB WHITE MEDIUM SQUARE says "always (modal operator)" in the description, and U+25C7 WHITE DIAMOND seems to go with that.
@otini I don't know, I haven't typeset modal logic yet. From looking at your example, to make it better I would try to make the box smaller on the same baseline, until its center aligns with the center of the diamond.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!