From 604d5921fad774f2f52253edca6ea50659edfc39 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 23 Jul 2006 23:41:33 +0000 Subject: new (cm linear logic fonts) package cmll (1mar06) git-svn-id: svn://tug.org/texlive/trunk@1904 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/cmll/README | 54 +++ Master/texmf-dist/doc/latex/cmll/cmll.pdf | Bin 0 -> 63495 bytes Master/texmf-dist/fonts/map/dvips/cmll/cmll.map | 28 ++ .../fonts/source/public/cmll/cmllbx10.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllbx5.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllbx6.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllbx7.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllbx8.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllbx9.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr10.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr5.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr6.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr7.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr8.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllr9.mf | 76 ++++ .../fonts/source/public/cmll/cmllss10.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllss8.mf | 76 ++++ .../texmf-dist/fonts/source/public/cmll/cmllss9.mf | 76 ++++ .../fonts/source/public/cmll/cmllssbx10.mf | 76 ++++ .../fonts/source/public/cmll/eullbx10.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullbx5.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullbx6.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullbx7.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullbx8.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullbx9.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullr10.mf | 83 +++++ .../texmf-dist/fonts/source/public/cmll/eullr5.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullr6.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullr7.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullr8.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/eullr9.mf | 85 +++++ .../texmf-dist/fonts/source/public/cmll/lleusym.mf | 286 +++++++++++++++ .../fonts/source/public/cmll/llsymbols.mf | 384 +++++++++++++++++++++ .../texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm | Bin 0 -> 204 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm | Bin 0 -> 204 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm | Bin 0 -> 204 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm | Bin 0 -> 204 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm | Bin 0 -> 204 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm | Bin 0 -> 204 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm | Bin 0 -> 208 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm | Bin 0 -> 208 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm | Bin 0 -> 208 bytes .../fonts/tfm/public/cmll/cmllssbx10.tfm | Bin 0 -> 208 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm | Bin 0 -> 300 bytes .../texmf-dist/fonts/tfm/public/cmll/eullr10.tfm | Bin 0 -> 300 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm | Bin 0 -> 300 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm | Bin 0 -> 300 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm | Bin 0 -> 300 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm | Bin 0 -> 300 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm | Bin 0 -> 300 bytes .../fonts/type1/public/cmll/cmllbx10.pfb | Bin 0 -> 11458 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb | Bin 0 -> 11369 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb | Bin 0 -> 11596 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb | Bin 0 -> 11618 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb | Bin 0 -> 11597 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb | Bin 0 -> 11847 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr10.pfb | Bin 0 -> 11157 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr5.pfb | Bin 0 -> 11574 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr6.pfb | Bin 0 -> 11536 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr7.pfb | Bin 0 -> 11455 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr8.pfb | Bin 0 -> 11188 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr9.pfb | Bin 0 -> 11299 bytes .../fonts/type1/public/cmll/cmllss10.pfb | Bin 0 -> 11096 bytes .../texmf-dist/fonts/type1/public/cmll/cmllss8.pfb | Bin 0 -> 6200 bytes .../texmf-dist/fonts/type1/public/cmll/cmllss9.pfb | Bin 0 -> 6365 bytes .../fonts/type1/public/cmll/cmllssbx10.pfb | Bin 0 -> 6499 bytes .../fonts/type1/public/cmll/eullbx10.pfb | Bin 0 -> 12295 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx5.pfb | Bin 0 -> 7346 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx6.pfb | Bin 0 -> 7390 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx7.pfb | Bin 0 -> 7385 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx8.pfb | Bin 0 -> 7368 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx9.pfb | Bin 0 -> 7326 bytes .../texmf-dist/fonts/type1/public/cmll/eullr10.pfb | Bin 0 -> 11767 bytes .../texmf-dist/fonts/type1/public/cmll/eullr5.pfb | Bin 0 -> 12132 bytes .../texmf-dist/fonts/type1/public/cmll/eullr6.pfb | Bin 0 -> 7148 bytes .../texmf-dist/fonts/type1/public/cmll/eullr7.pfb | Bin 0 -> 7301 bytes .../texmf-dist/fonts/type1/public/cmll/eullr8.pfb | Bin 0 -> 7148 bytes .../texmf-dist/fonts/type1/public/cmll/eullr9.pfb | Bin 0 -> 11880 bytes Master/texmf-dist/source/latex/cmll/cmll.dtx | 221 ++++++++++++ Master/texmf-dist/source/latex/cmll/cmll.ins | 21 ++ Master/texmf-dist/tex/latex/cmll/cmll.sty | 53 +++ Master/texmf-dist/tex/latex/cmll/ucmllr.fd | 17 + Master/texmf-dist/tex/latex/cmll/ucmllss.fd | 17 + Master/texmf-dist/tex/latex/cmll/ueull.fd | 17 + Master/texmf-dist/tpm/cmll.tpm | 122 +++++++ 96 files changed, 3454 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/cmll/README create mode 100644 Master/texmf-dist/doc/latex/cmll/cmll.pdf create mode 100644 Master/texmf-dist/fonts/map/dvips/cmll/cmll.map create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx5.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx6.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx7.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx8.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllbx9.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr5.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr6.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr7.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr8.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllr9.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllss10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllss8.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllss9.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/cmllssbx10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx5.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx6.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx7.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx8.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullbx9.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr10.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr5.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr6.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr7.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr8.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/eullr9.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/lleusym.mf create mode 100644 Master/texmf-dist/fonts/source/public/cmll/llsymbols.mf create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm create mode 100644 Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb create mode 100644 Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb create mode 100644 Master/texmf-dist/source/latex/cmll/cmll.dtx create mode 100644 Master/texmf-dist/source/latex/cmll/cmll.ins create mode 100644 Master/texmf-dist/tex/latex/cmll/cmll.sty create mode 100644 Master/texmf-dist/tex/latex/cmll/ucmllr.fd create mode 100644 Master/texmf-dist/tex/latex/cmll/ucmllss.fd create mode 100644 Master/texmf-dist/tex/latex/cmll/ueull.fd create mode 100644 Master/texmf-dist/tpm/cmll.tpm (limited to 'Master/texmf-dist') diff --git a/Master/texmf-dist/doc/latex/cmll/README b/Master/texmf-dist/doc/latex/cmll/README new file mode 100644 index 00000000000..cbe06714d8c --- /dev/null +++ b/Master/texmf-dist/doc/latex/cmll/README @@ -0,0 +1,54 @@ +This directory contains the CMLL font. This font contains a handful of symbols +used in Linear Logic, designed for use with standard Computer Modern fonts. + +This package is dated February 28, 2006. + + +Installation +------------ + +Copy the .mf files from the "mf" subdirectory somewhere in Metafont's search +path and the .sty and .fd files from the "latex" subdirectory somewhere in +LaTeX's search path. + +Call TEXMF the base directory of your installation (on Unix this should be +something like /usr/share/texmf or ~/texmf for a single user installation). +Then copy the directories as follows: + copy "mf" as TEXMF/fonts/source/public/cmll + copy "latex" as TEXMF/tex/latex/cmll +If you want to install the fonts in Type1 format: + copy "type1" as TEXMF/fonts/type1/public/cmll + copy "tfm" as TEXMF/fonts/tfm/public/cmll + copy "cmll.map" as TEXMF/fonts/map/dvips/misc/cmll.map +You may have to update TeX's databases by running "texhash" or "mktexlsr" +(this is for Kpathsea-based distributions like teTeX) or a similar command. + + +Usage +----- + +When the files are correctly installed, compiling the file cmll.dtx with latex +will produce a documentation for the package, including the list of defined +symbols. + +To summarise, just say \usepackage{cmll} to get the extra symbols. The class +options "cm", "ss" and "euler" can be used to explicitly select the standard, +sans-serif or Euler version of the fonts. + +In order to use the Type1 versions, assuming the files are installed as +described above, you need to use the provided file "cmll.map". Please refer to +the documentation of you local installation for that. + + +Feedback +-------- + +Any comments and suggestions are welcome, feel free to drop me a note at the +address below. + +For those interested in legal stuff, this work is covered by the LaTeX Project +Public License (LPPL). + +Enjoy ! + +(c) Emmanuel Beffara , 2003--2006 diff --git a/Master/texmf-dist/doc/latex/cmll/cmll.pdf b/Master/texmf-dist/doc/latex/cmll/cmll.pdf new file mode 100644 index 00000000000..fb8a1b6a3e4 Binary files /dev/null and b/Master/texmf-dist/doc/latex/cmll/cmll.pdf differ diff --git a/Master/texmf-dist/fonts/map/dvips/cmll/cmll.map b/Master/texmf-dist/fonts/map/dvips/cmll/cmll.map new file mode 100644 index 00000000000..825707f17d5 --- /dev/null +++ b/Master/texmf-dist/fonts/map/dvips/cmll/cmll.map @@ -0,0 +1,28 @@ +cmllbx10 cmllbx10 {\ttfamily}ll} +% cm & Computer Modern serif \\ +% ss & Computer Modern sans serif \\ +% euler & AMS Euler \\ +% auto & automatic selection (default) +% \end{tabular} +% \end{quote} +% Automatic selection is done by looking at the loaded packages and the +% current font settings. Note that this works only when \texttt{cmll} is +% loaded \emph{after} changing those settings. +% +% \subsection{Symbols} +% +% The \texttt{cmll} font defines a handful of symbols useful in linear logic +% that were not defined in other fonts and packages. +% \begin{symbols}{Unary operators:} +% \dosymbol\oc \dosymbol\wn +% \dosymbol\shpos \dosymbol\shneg \dosymbol\shift +% \end{symbols} +% \begin{symbols}{Binary operators:} +% \dosymbol\parr \dosymbol\with +% \end{symbols} +% \begin{symbols}{Large operators:} +% \dosymbol\bigparr \dosymbol\bigwith +% \end{symbols} +% \begin{symbols}{Binary relations:} +% \dosymbol\coh \dosymbol\scoh +% \dosymbol\incoh \dosymbol\sincoh +% \end{symbols} +% The symbols $\oc$, $\wn$ and $\with$ are actually characters from the +% standard Computer Modern fonts declared with a new math code to get proper +% spacing. See the following examples: +% \[\begin{tabular}{ll@{\hspace{4em}}ll} +% \verb/A \& B/ & $A \& B$ & \verb/A \with B/ & $A \with B$ \\ +% \verb/A = !B/ & $A = !B$ & \verb/A = \oc B/ & $A = \oc B$ \\ +% \verb/A = ?B/ & $A = ?B$ & \verb/A = \wn B/ & $A = \wn B$ +% \end{tabular}\] +% +% +% \section{Files} +% +% \subsection{This document} +% +% \begin{macrocode} +%<*driver> +\documentclass{ltxdoc} +\usepackage{array,cmll} +\newenvironment{symbols}[1]{% + \par% + \def\dosymbol##1{\leavevmode\hbox to .5\textwidth{% + \kern.25\textwidth \hbox to 2em{\hss$##1$\hfil}% + \texttt{\string##1}\hss}\penalty10}% + \flushleft% + #1\strut\\}{\endflushleft} +\begin{document} +\DocInput{cmll.dtx} +\end{document} +% +% \end{macrocode} +% +% \subsection{Font definitions} +% +% The font definition file is deduced from the ones for Computer Modern. We +% provide an NFSS entry named \texttt{cmllr} in medium and bold extended +% versions. +% +% \begin{macrocode} +%<*ucmllr> +\DeclareFontShape{U}{cmllr}{m}{n}{% + <5><6><7><8><9>gen*cmllr% + <10->cmllr10}{} +\DeclareFontShape{U}{cmllr}{bx}{n}{% + <5><6><7><8><9>gen*cmllbx% + <10->cmllbx10}{} +% +% \end{macrocode} +% +% The following is a definition for the sans-serif version, named +% \texttt{cmllss}. +% +% \begin{macrocode} +%<*ucmllss> +\DeclareFontShape{U}{cmllss}{m}{n}{% + <-8>cmllss8% + <9>cmllss9% + <10->cmllss10}{} +\DeclareFontShape{U}{cmllss}{bx}{n}{% + <->cmllssbx10}{} +% +% \end{macrocode} +% +% The following is a definition for the Euler-style version, named +% \texttt{eull}. +% +% \begin{macrocode} +%<*ueull> +\DeclareFontShape{U}{eull}{m}{n}{% + <5><6><7><8><9>gen*eullr% + <10->eullr10}{} +\DeclareFontShape{U}{eull}{bx}{n}{% + <5><6><7><8><9>gen*eullbx% + <10->eullbx10}{} +% +% \end{macrocode} +% +% \subsection{The package} +% +% \begin{macrocode} +%<*package> +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{cmll}[2006/02/22 Linear Logic symbols for Computer Modern] +% \end{macrocode} +% +% The font is declared as a symbol font named \texttt{llsymbols}, in normal +% and bold versions. We provide package options to switch between the +% standard, sans-serif and Euler-style variants. +% +% \begin{macrocode} +\def\cmll@style{auto} +\DeclareOption*{\edef\cmll@style{\CurrentOption}} +\ProcessOptions\relax +% \end{macrocode} +% +% The following code is used to detect which family should be used. Euler is +% detected if its package is loaded, sans-serif is detected by looking at the +% default font family name. +% \begin{macrocode} +\RequirePackage{ifthen} +\def\cmll@use@auto{% + \@ifpackageloaded{euler}{% + \def\cmll@style{euler}}{% + \ifthenelse{\equal{\rmdefault}{cmss}}{% + \def\cmll@style{ss}}{% + \def\cmll@style{cm}}}% + \csname cmll@use@\cmll@style\endcsname} +% \end{macrocode} +% +% The following macros are used to set up the font families and symbols from +% other fonts. +% \begin{macrocode} +\def\cmll@use@cm{% + \DeclareSymbolFont{llsymbols}{U}{cmllr}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{cmllr}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% + \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% + \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} +% \end{macrocode} +% Here is the sans-serif variant. +% \begin{macrocode} +\def\cmll@use@ss{% + \DeclareSymbolFont{llsymbols}{U}{cmllss}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{cmllss}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% + \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% + \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} +% \end{macrocode} +% And here is the Euler variant. +% \begin{macrocode} +\def\cmll@use@euler{% + \DeclareSymbolFont{llsymbols}{U}{eull}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{eull}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{EulerFraktur}{"26}% + \DeclareMathSymbol{\oc}{\mathord}{EulerFraktur}{"21}% + \DeclareMathSymbol{\wn}{\mathord}{EulerFraktur}{"3F}} +% \end{macrocode} +% Finally we activate the proper variant. +% \begin{macrocode} +\csname cmll@use@\cmll@style\endcsname +% \end{macrocode} +% +% The new symbol definitions are the same for all variants. +% \begin{macrocode} +\DeclareMathSymbol{\parr}{\mathbin}{llsymbols}{0} +\DeclareMathSymbol{\shpos}{\mathord}{llsymbols}{1} +\DeclareMathSymbol{\shneg}{\mathord}{llsymbols}{2} +\DeclareMathSymbol{\shift}{\mathord}{llsymbols}{3} +\DeclareMathSymbol{\coh}{\mathrel}{llsymbols}{4} +\DeclareMathSymbol{\scoh}{\mathrel}{llsymbols}{5} +\DeclareMathSymbol{\incoh}{\mathrel}{llsymbols}{6} +\DeclareMathSymbol{\sincoh}{\mathrel}{llsymbols}{7} +\DeclareMathSymbol{\bigwith}{\mathop}{llsymbols}{8} +\DeclareMathSymbol{\bigparr}{\mathop}{llsymbols}{10} +% +% \end{macrocode} +% +% \Finale diff --git a/Master/texmf-dist/source/latex/cmll/cmll.ins b/Master/texmf-dist/source/latex/cmll/cmll.ins new file mode 100644 index 00000000000..a38a7cfd655 --- /dev/null +++ b/Master/texmf-dist/source/latex/cmll/cmll.ins @@ -0,0 +1,21 @@ +\NeedsTeXFormat{LaTeX2e} + +\def\batchfile{cmll.ins} +\input{docstrip} + +\askforoverwritefalse +\keepsilent + +\preamble +\endpreamble + +\generateFile{cmll.sty}{f}{ + \from{cmll.dtx}{package}} +\generateFile{ucmllr.fd}{f}{ + \from{cmll.dtx}{ucmllr}} +\generateFile{ucmllss.fd}{f}{ + \from{cmll.dtx}{ucmllss}} +\generateFile{ueull.fd}{f}{ + \from{cmll.dtx}{ueull}} + +\endbatchfile diff --git a/Master/texmf-dist/tex/latex/cmll/cmll.sty b/Master/texmf-dist/tex/latex/cmll/cmll.sty new file mode 100644 index 00000000000..0dfafc81651 --- /dev/null +++ b/Master/texmf-dist/tex/latex/cmll/cmll.sty @@ -0,0 +1,53 @@ +%% +%% This is file `cmll.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cmll.dtx (with options: `package') +%% +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{cmll}[2006/02/22 Linear Logic symbols for Computer Modern] +\def\cmll@style{auto} +\DeclareOption*{\edef\cmll@style{\CurrentOption}} +\ProcessOptions\relax +\RequirePackage{ifthen} +\def\cmll@use@auto{% + \@ifpackageloaded{euler}{% + \def\cmll@style{euler}}{% + \ifthenelse{\equal{\rmdefault}{cmss}}{% + \def\cmll@style{ss}}{% + \def\cmll@style{cm}}}% + \csname cmll@use@\cmll@style\endcsname} +\def\cmll@use@cm{% + \DeclareSymbolFont{llsymbols}{U}{cmllr}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{cmllr}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% + \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% + \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} +\def\cmll@use@ss{% + \DeclareSymbolFont{llsymbols}{U}{cmllss}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{cmllss}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% + \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% + \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} +\def\cmll@use@euler{% + \DeclareSymbolFont{llsymbols}{U}{eull}{m}{n}% + \SetSymbolFont{llsymbols}{bold}{U}{eull}{bx}{n}% + \DeclareMathSymbol{\with}{\mathbin}{EulerFraktur}{"26}% + \DeclareMathSymbol{\oc}{\mathord}{EulerFraktur}{"21}% + \DeclareMathSymbol{\wn}{\mathord}{EulerFraktur}{"3F}} +\csname cmll@use@\cmll@style\endcsname +\DeclareMathSymbol{\parr}{\mathbin}{llsymbols}{0} +\DeclareMathSymbol{\shpos}{\mathord}{llsymbols}{1} +\DeclareMathSymbol{\shneg}{\mathord}{llsymbols}{2} +\DeclareMathSymbol{\shift}{\mathord}{llsymbols}{3} +\DeclareMathSymbol{\coh}{\mathrel}{llsymbols}{4} +\DeclareMathSymbol{\scoh}{\mathrel}{llsymbols}{5} +\DeclareMathSymbol{\incoh}{\mathrel}{llsymbols}{6} +\DeclareMathSymbol{\sincoh}{\mathrel}{llsymbols}{7} +\DeclareMathSymbol{\bigwith}{\mathop}{llsymbols}{8} +\DeclareMathSymbol{\bigparr}{\mathop}{llsymbols}{10} +\endinput +%% +%% End of file `cmll.sty'. diff --git a/Master/texmf-dist/tex/latex/cmll/ucmllr.fd b/Master/texmf-dist/tex/latex/cmll/ucmllr.fd new file mode 100644 index 00000000000..ea51225ef1c --- /dev/null +++ b/Master/texmf-dist/tex/latex/cmll/ucmllr.fd @@ -0,0 +1,17 @@ +%% +%% This is file `ucmllr.fd', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cmll.dtx (with options: `ucmllr') +%% +\DeclareFontShape{U}{cmllr}{m}{n}{% + <5><6><7><8><9>gen*cmllr% + <10->cmllr10}{} +\DeclareFontShape{U}{cmllr}{bx}{n}{% + <5><6><7><8><9>gen*cmllbx% + <10->cmllbx10}{} +\endinput +%% +%% End of file `ucmllr.fd'. diff --git a/Master/texmf-dist/tex/latex/cmll/ucmllss.fd b/Master/texmf-dist/tex/latex/cmll/ucmllss.fd new file mode 100644 index 00000000000..52335e02a6b --- /dev/null +++ b/Master/texmf-dist/tex/latex/cmll/ucmllss.fd @@ -0,0 +1,17 @@ +%% +%% This is file `ucmllss.fd', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cmll.dtx (with options: `ucmllss') +%% +\DeclareFontShape{U}{cmllss}{m}{n}{% + <-8>cmllss8% + <9>cmllss9% + <10->cmllss10}{} +\DeclareFontShape{U}{cmllss}{bx}{n}{% + <->cmllssbx10}{} +\endinput +%% +%% End of file `ucmllss.fd'. diff --git a/Master/texmf-dist/tex/latex/cmll/ueull.fd b/Master/texmf-dist/tex/latex/cmll/ueull.fd new file mode 100644 index 00000000000..6c4611ebe1e --- /dev/null +++ b/Master/texmf-dist/tex/latex/cmll/ueull.fd @@ -0,0 +1,17 @@ +%% +%% This is file `ueull.fd', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cmll.dtx (with options: `ueull') +%% +\DeclareFontShape{U}{eull}{m}{n}{% + <5><6><7><8><9>gen*eullr% + <10->eullr10}{} +\DeclareFontShape{U}{eull}{bx}{n}{% + <5><6><7><8><9>gen*eullbx% + <10->eullbx10}{} +\endinput +%% +%% End of file `ueull.fd'. diff --git a/Master/texmf-dist/tpm/cmll.tpm b/Master/texmf-dist/tpm/cmll.tpm new file mode 100644 index 00000000000..dd9dcde99c8 --- /dev/null +++ b/Master/texmf-dist/tpm/cmll.tpm @@ -0,0 +1,122 @@ + + + + cmll + Package + 2006/02/28 15:53:00 + + karl + The cmll package. + + + 490523 + + +texmf-dist/fonts/map/dvips/cmll/cmll.map +texmf-dist/fonts/source/public/cmll/cmllbx10.mf +texmf-dist/fonts/source/public/cmll/cmllbx5.mf +texmf-dist/fonts/source/public/cmll/cmllbx6.mf +texmf-dist/fonts/source/public/cmll/cmllbx7.mf +texmf-dist/fonts/source/public/cmll/cmllbx8.mf +texmf-dist/fonts/source/public/cmll/cmllbx9.mf +texmf-dist/fonts/source/public/cmll/cmllr10.mf +texmf-dist/fonts/source/public/cmll/cmllr5.mf +texmf-dist/fonts/source/public/cmll/cmllr6.mf +texmf-dist/fonts/source/public/cmll/cmllr7.mf +texmf-dist/fonts/source/public/cmll/cmllr8.mf +texmf-dist/fonts/source/public/cmll/cmllr9.mf +texmf-dist/fonts/source/public/cmll/cmllss10.mf +texmf-dist/fonts/source/public/cmll/cmllss8.mf +texmf-dist/fonts/source/public/cmll/cmllss9.mf +texmf-dist/fonts/source/public/cmll/cmllssbx10.mf +texmf-dist/fonts/source/public/cmll/eullbx10.mf +texmf-dist/fonts/source/public/cmll/eullbx5.mf +texmf-dist/fonts/source/public/cmll/eullbx6.mf +texmf-dist/fonts/source/public/cmll/eullbx7.mf +texmf-dist/fonts/source/public/cmll/eullbx8.mf +texmf-dist/fonts/source/public/cmll/eullbx9.mf +texmf-dist/fonts/source/public/cmll/eullr10.mf +texmf-dist/fonts/source/public/cmll/eullr5.mf +texmf-dist/fonts/source/public/cmll/eullr6.mf +texmf-dist/fonts/source/public/cmll/eullr7.mf +texmf-dist/fonts/source/public/cmll/eullr8.mf +texmf-dist/fonts/source/public/cmll/eullr9.mf +texmf-dist/fonts/source/public/cmll/lleusym.mf +texmf-dist/fonts/source/public/cmll/llsymbols.mf +texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm +texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm +texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm +texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm +texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm +texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm +texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm +texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm +texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm +texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm +texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm +texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm +texmf-dist/fonts/tfm/public/cmll/eullr10.tfm +texmf-dist/fonts/tfm/public/cmll/eullr5.tfm +texmf-dist/fonts/tfm/public/cmll/eullr6.tfm +texmf-dist/fonts/tfm/public/cmll/eullr7.tfm +texmf-dist/fonts/tfm/public/cmll/eullr8.tfm +texmf-dist/fonts/tfm/public/cmll/eullr9.tfm +texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb +texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb +texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb +texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb +texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb +texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb +texmf-dist/fonts/type1/public/cmll/cmllr10.pfb +texmf-dist/fonts/type1/public/cmll/cmllr5.pfb +texmf-dist/fonts/type1/public/cmll/cmllr6.pfb +texmf-dist/fonts/type1/public/cmll/cmllr7.pfb +texmf-dist/fonts/type1/public/cmll/cmllr8.pfb +texmf-dist/fonts/type1/public/cmll/cmllr9.pfb +texmf-dist/fonts/type1/public/cmll/cmllss10.pfb +texmf-dist/fonts/type1/public/cmll/cmllss8.pfb +texmf-dist/fonts/type1/public/cmll/cmllss9.pfb +texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb +texmf-dist/fonts/type1/public/cmll/eullbx10.pfb +texmf-dist/fonts/type1/public/cmll/eullbx5.pfb +texmf-dist/fonts/type1/public/cmll/eullbx6.pfb +texmf-dist/fonts/type1/public/cmll/eullbx7.pfb +texmf-dist/fonts/type1/public/cmll/eullbx8.pfb +texmf-dist/fonts/type1/public/cmll/eullbx9.pfb +texmf-dist/fonts/type1/public/cmll/eullr10.pfb +texmf-dist/fonts/type1/public/cmll/eullr5.pfb +texmf-dist/fonts/type1/public/cmll/eullr6.pfb +texmf-dist/fonts/type1/public/cmll/eullr7.pfb +texmf-dist/fonts/type1/public/cmll/eullr8.pfb +texmf-dist/fonts/type1/public/cmll/eullr9.pfb +texmf-dist/tex/latex/cmll/cmll.sty +texmf-dist/tex/latex/cmll/ucmllr.fd +texmf-dist/tex/latex/cmll/ucmllss.fd +texmf-dist/tex/latex/cmll/ueull.fd +texmf-dist/tpm/cmll.tpm + + +texmf-dist/doc/latex/cmll/README +texmf-dist/doc/latex/cmll/cmll.pdf + + +texmf-dist/source/latex/cmll/cmll.dtx +texmf-dist/source/latex/cmll/cmll.ins + + + + + Package/cmll + + + -- cgit v1.2.3