3

I don't know if there is a correct or recommended usage of Unicode codepoints for the LTL operators, but the mapping we used in LaTeX was the following: □ (U+25A1) => \Box ◇ (U+25C7) => \Diamond ○ (U+25CB) => \medcirc (from txfonts/pxfonts)


Only top voted, non community-wiki answers of a minimum length are eligible