<?xml version="1.0"?>
<!DOCTYPE entry SYSTEM "../catalogue.dtd">
<entry id="circle"
       datestamp="1998/10/13" 
       modifier="Graham.Williams@cmis.csiro.au">
  <about>
    <name>circle</name>
    <caption>No caption.</caption>
    <author>
      <name>Klaus Georg Barthelmann</name>
    </author>
    <license type="unknown"/>
  </about>
  <description>
    <abstract>
      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.
    </abstract>
  </description>
  <distribution>
    <ctan>macros/latex/contrib/misc</ctan>
  </distribution>
</entry>

