CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/circle

Download the contents of this package in one zip archive (176.9k).

circle – Maths mode circles for temporal logic

Provides circles in math mode that can be used for the nextstep operator of temporal logic, in conjunction with \Box and \Diamond (latexsym) or \square and \lozenge (amssymb). circles \circ and \bigcirc are not of the right size. The circles are taken from the font lcircle10. The package contains some hacks to approximate the right size and this solution is definitely not sufficient to give a high quality output.

Packagecircle
Version 1998-07-15
MaintainerKlaus Georg Barthelmann
Contained inMiKTeX as circle
TopicsFont supp maths
...
Guest Book Sitemap Contact Contact Author