diff options
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r-- | Master/texmf-dist/doc/latex/circle/circle.pdf | bin | 185801 -> 0 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/circle/circle.tex | 47 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/circle/circle.sty | 42 |
3 files changed, 0 insertions, 89 deletions
diff --git a/Master/texmf-dist/doc/latex/circle/circle.pdf b/Master/texmf-dist/doc/latex/circle/circle.pdf Binary files differdeleted file mode 100644 index 21e4db02080..00000000000 --- a/Master/texmf-dist/doc/latex/circle/circle.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/circle/circle.tex b/Master/texmf-dist/doc/latex/circle/circle.tex deleted file mode 100644 index 9043c0589a9..00000000000 --- a/Master/texmf-dist/doc/latex/circle/circle.tex +++ /dev/null @@ -1,47 +0,0 @@ -\documentclass[DIV=9, parskip=half, pagesize=auto]{scrartcl} - -\usepackage{fixltx2e} -\usepackage{etex} -\usepackage{xspace} -\usepackage{lmodern} -\usepackage[T1]{fontenc} -\usepackage{textcomp} -\usepackage{microtype} -\usepackage[unicode=true]{hyperref} - -\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}} -\newcommand*{\pkg}[1]{\textsf{#1}} -\newcommand*{\cs}[1]{\texttt{\textbackslash#1}} -\makeatletter -\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}} -\makeatother - -\addtokomafont{title}{\rmfamily} - -\title{The \pkg{circle} package} -\author{Klaus G. Barthelmann, \mail{barthel@informatik.uni-mainz.de}} -\date{1998/07/15} - - -\begin{document} - -\maketitle - -As the name says, \cmd{\Circle} gives a circle in math mode. Its size lies between -that of the binary operator \cmd{\circ} and that of the unary operator \cmd{\bigcirc}. -It can be used as the nextstep operator of temporal logic in conjunction with -\cmd{\Box} and \cmd{\Diamond} (\pkg{latexsym}) or \cmd{\square} and \cmd{\lozenge} (\pkg{amssymb}). \verb+\Circle[f]+ -gives a filled circle. - -As you probably know, L.~Lamport discouraged the use of the nextstep -operator for program verification. This could be the reason that he did not -provide a symbol for it in \LaTeX. - -The circles are taken from the \pkg{lcircle10} font. We try to choose the -appropriate size. If you need a high quality output, this solution will not -suit you. - -Bugs: circles have size $n$ at fontsize $2n-1$ and $2n$; they do not scale linearly -depending on the fontsize - -\end{document} diff --git a/Master/texmf-dist/tex/latex/circle/circle.sty b/Master/texmf-dist/tex/latex/circle/circle.sty deleted file mode 100644 index f7428522a12..00000000000 --- a/Master/texmf-dist/tex/latex/circle/circle.sty +++ /dev/null @@ -1,42 +0,0 @@ -\NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{circle}[1998/07/15 LaTeX package for circles in math mode] -%\Author{Klaus G. Barthelmann, barthel@informatik.uni-mainz.de} -%\ProvidesCommands{\Circle[1][n]} - -% As the name says, \Circle gives a circle in math mode. Its size lies between -% that of the binary operator \circ and that of the unary operator \bigcirc. -% It can be used as the nextstep operator of temporal logic in conjunction with -% \Box and \Diamond (latexsym) or \square and \lozenge (amssymb). \Circle[f] -% gives a filled circle. -% As you probably know, L. Lamport discouraged the use of the nextstep -% operator for program verification. This could be the reason that he did not -% provide a symbol for it in \LaTeX. -% The circles are taken from the lcircle10 font. We try to choose the -% appropriate size. If you need a high quality output, this solution will not -% suit you. - -\newcommand*\Circle[1][n]{% - \mathchoice{\@Circle{#1}{\tf@size}}{\@Circle{#1}{\tf@size}}% - {\@Circle{#1}{\sf@size}}{\@Circle{#1}{\ssf@size}}% -} - -% Bugs: circles have size n at fontsize 2n-1 and 2n; they do not scale linearly -% depending on the fontsize - -\newcommand*\@Circle[2]{{% - \dimen0=#2pt \advance\dimen0by.5pt \dimen1=1pt \divide\dimen0by\dimen1 - \count255=\dimen0 \ifodd\count255 \advance\count255by1 \fi\divide\count255by2 - \ifnum\count255=0 {}\else\ifnum\count255>15 {}\else - \dimen0=\count255pt - \edef\circfont{tencirc\ifnum\count255>8 w\fi} - \advance\count255by\if #1f111\else 95\fi - \dimen2=.82\dimen0 \advance\dimen2by.4pt - \raisebox{.625\dimen0}[\dimen2]{\makebox[1.2\dimen0]{% - \hspace*{.9\dimen0}% - \csname\circfont\endcsname - \char\count255 % - }}% - \fi\fi -}} - -\endinput |