Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

circle – Maths mode circles for temporal 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.

Sources/macros/latex/contrib/circle
Doc­u­men­ta­tion
Ver­sion 1998-07-15
Li­censeUn­known Sta­tus, No In­for­ma­tion Avail­able
Main­tainerKlaus Ge­org Barthel­mann
Con­tained inMiKTeX as cir­cle
Topics met­rics, macro in­can­ta­tions and other sup­port for maths fonts

Down­load the con­tents of this pack­age in one zip archive (176.9k).

Guest Book Sitemap Contact 2014-04-16 06:18 CEST