Re: Marking up Temporal Logic

> How about U+25A0, U+25A1, U+25A3, U+25C6, U+25C7, U+25C8, U+25C9, U+25CB,
> U+25CF?

Yes, those sort of things, they are the ones in unicode, the others
aren't and, i think (though haven't checked recently) are not in the
currently being discussed stix proposal to add more characters.