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). LaTeX 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.
|License||Unknown Status, No Information Available|
|Maintainer||Klaus Georg Barthelmann
|Contained in||MiKTeX as circle|
metrics, macro incantations and other support for maths fonts
Download the contents of this package in one zip archive (176.9k).
Maybe you are interested in the following packages as well.
- euler: Use AMS Euler fonts for math
- mathcomp: Text symbols in maths mode
- mathrsfs: Support for using RSFS fonts in maths
- hvmath: Support for using the Micropress HV-Math fonts (Helvetica Maths)