Direc­tory tex-archive/macros/latex/contrib/circle

Down­load the com­plete con­tents of this di­rec­tory in one zip archive (176.9k).

cir­cle – Maths mode cir­cles for tem­po­ral logic

Pro­vides cir­cles in math mode that can be used for the nextstep op­er­a­tor of tem­po­ral logic, in con­junc­tion with \Box and \Di­a­mond (la­texsym) or \square and \lozenge (amssymb). LaTeX cir­cles \circ and \big­circ are not of the right size. The cir­cles are taken from the font lcir­cle10. The pack­age con­tains some hacks to ap­prox­i­mate the right size and this so­lu­tion is def­i­nitely not suf­fi­cient to give a high qual­ity out­put.