diff options
Diffstat (limited to 'fonts/cmll/latex/cmll.sty')
-rw-r--r-- | fonts/cmll/latex/cmll.sty | 110 |
1 files changed, 110 insertions, 0 deletions
diff --git a/fonts/cmll/latex/cmll.sty b/fonts/cmll/latex/cmll.sty new file mode 100644 index 0000000000..c159142e76 --- /dev/null +++ b/fonts/cmll/latex/cmll.sty @@ -0,0 +1,110 @@ +%% +%% This is file `cmll.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cmll.dtx (with options: `package') +%% +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{cmll}[2010/04/20 Linear Logic symbols for Computer Modern] +\let\cmll@ifemu=\iffalse +\DeclareOption{emu}{\let\cmll@ifemu=\iftrue} +\def\cmll@style{auto} +\DeclareOption*{\edef\cmll@style{\CurrentOption}} +\ProcessOptions\relax +\RequirePackage{ifthen} +\def\cmll@use@auto{% + \@ifpackageloaded{euler}{% + \def\cmll@style{euler}}{% + \@ifpackageloaded{txfonts}{% + \let\cmll@ifemu=\iftrue% + \def\cmll@style{cm}}{% + \@ifpackageloaded{pxfonts}{% + \let\cmll@ifemu=\iftrue% + \def\cmll@style{cm}}{% + \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 +\newcommand\invampemu{% + \mathbin{\mathchoice% + {\rotatebox[origin=c]{180}{$\&$}}% + {\rotatebox[origin=c]{180}{$\&$}}% + {\rotatebox[origin=c]{180}{$\scriptstyle\&$}}% + {\rotatebox[origin=c]{180}{$\scriptscriptstyle\&$}}% + }} +\newcommand\bigwithemu{% + \mathop{\mathchoice% + {\vcenter{\hbox{\relsize{+4}$\&$}}}% + {\vcenter{\hbox{\relsize{+2}$\&$}}}% + {\vcenter{\hbox{\relsize{+0.5}$\&$}}}% + {\vcenter{\hbox{\relsize{-1}$\&$}}}% + }} +\newcommand\biginvampemu{% + \mathop{\mathchoice% + {\vcenter{\hbox{\relsize{+4}$\invamp$}}}% + {\vcenter{\hbox{\relsize{+2}$\invamp$}}}% + {\vcenter{\hbox{\relsize{+0.5}$\invamp$}}}% + {\vcenter{\hbox{\relsize{-1}$\invamp$}}}}} +\cmll@ifemu + \@ifundefined{invamp}{% + \RequirePackage{graphicx}% + \let\invamp=\invampemu + }{}% + \RequirePackage{relsize}% + \let\bigwith=\bigwithemu + \let\biginvamp=\biginvampemu + \def\cmll@declare@symbol#1#2#3#4{% + \@ifundefined{#1}{% + \expandafter\DeclareMathSymbol% + \expandafter{\csname#1\endcsname}{#2}{#3}{#4}}{}} +\else + \def\cmll@declare@symbol#1#2#3#4{% + \expandafter\DeclareMathSymbol% + \expandafter{\csname#1\endcsname}{#2}{#3}{#4}} +\fi +\cmll@declare@symbol{invamp}{\mathbin}{llsymbols}{0} +\let\parr=\invamp +\cmll@declare@symbol{shpos}{\mathord}{llsymbols}{1} +\cmll@declare@symbol{shneg}{\mathord}{llsymbols}{2} +\cmll@declare@symbol{shift}{\mathord}{llsymbols}{3} +\cmll@declare@symbol{coh}{\mathrel}{llsymbols}{4} +\cmll@declare@symbol{scoh}{\mathrel}{llsymbols}{5} +\cmll@declare@symbol{incoh}{\mathrel}{llsymbols}{6} +\cmll@declare@symbol{sincoh}{\mathrel}{llsymbols}{7} +\cmll@declare@symbol{bigwith}{\mathop}{llsymbols}{8} +\cmll@declare@symbol{biginvamp}{\mathop}{llsymbols}{10} +\let\bigparr=\biginvamp +\cmll@declare@symbol{multimapboth}{\mathrel}{llsymbols}{12} +\cmll@declare@symbol{Bot}{\mathord}{llsymbols}{13} +\cmll@declare@symbol{Perp}{\mathrel}{llsymbols}{13} +\cmll@declare@symbol{simbot}{\mathord}{llsymbols}{14} +\cmll@declare@symbol{simperp}{\mathrel}{llsymbols}{14} +\cmll@declare@symbol{multimapinv}{\mathrel}{llsymbols}{15} +\cmll@declare@symbol{nmultimap}{\mathrel}{llsymbols}{16} +\cmll@declare@symbol{nmultimapinv}{\mathrel}{llsymbols}{17} +\cmll@declare@symbol{nmultimapboth}{\mathrel}{llsymbols}{18} +\endinput +%% +%% End of file `cmll.sty'. |