# 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.

Sources | `/macros/latex/contrib/circle` |

Documentation | |

Version | 1998-07-15 |

Maintainer | Klaus Georg Barthelmann |

Contained in | MiKTeX as circle |

Topics | Font supp maths |

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

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments