0ff8920a0a
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.
13 lines
321 B
Makefile
13 lines
321 B
Makefile
# $NetBSD: Makefile,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
|
|
# TeX Live Revision 17158
|
|
|
|
DISTNAME= circle
|
|
PKGNAME= tex-${DISTNAME}-2009
|
|
|
|
MAINTAINER= minskim@NetBSD.org
|
|
COMMENT= Maths mode circles for temporal logic
|
|
|
|
CONFLICTS+= tex-ltxmisc<2009
|
|
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|