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.

@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.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!