diff options
Diffstat (limited to 'print/tex-circle/DESCR')
| -rw-r--r-- | print/tex-circle/DESCR | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/print/tex-circle/DESCR b/print/tex-circle/DESCR new file mode 100644 index 00000000000..88e65e5ff81 --- /dev/null +++ b/print/tex-circle/DESCR @@ -0,0 +1,7 @@ +This package 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. |