Follow
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” 😕
@juergen Ah, thanks. Is there a math font where they look good side to side? That's the question.
@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.
@juergen I agree. It’s a font-specific setting though, so, frustrating.
@otini U+25FB WHITE MEDIUM SQUARE says "always (modal operator)" in the description, and U+25C7 WHITE DIAMOND seems to go with that.