blob: c159142e761c9321b59947178512873fb1e97b25 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
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'.
|
