summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/generic/ofs/ofs-cm.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/generic/ofs/ofs-cm.tex')
-rw-r--r--Master/texmf-dist/tex/generic/ofs/ofs-cm.tex285
1 files changed, 285 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/ofs/ofs-cm.tex b/Master/texmf-dist/tex/generic/ofs/ofs-cm.tex
new file mode 100644
index 00000000000..478bfe7ae65
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/ofs/ofs-cm.tex
@@ -0,0 +1,285 @@
+% OFS: CM fonts, math encoding declaration
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Apr. 2004 Petr Olsak
+
+\protectreading ofs-cm.tex % This is part of OFS package
+
+\mathencdef\doPLAINmathchars {%
+ \fontmessage{\ofsmessageheader Math codes are reset by plainTeX.}%
+ \mathcode`\ ="8000
+ \mathcode`\!="5021
+ \mathcode`\'="8000
+ \mathcode`\(="4028
+ \mathcode`\)="5029
+ \mathcode`\*="2203
+ \mathcode`+="202B
+ \mathcode`\,="613B
+ \mathcode`\-="2200
+ \mathcode`\.="013A
+ \mathcode`\/="013D
+ \mathcode`\:="303A
+ \mathcode`\;="603B
+ \mathcode`\<="313C
+ \mathcode`\=="303D
+ \mathcode`\>="313E
+ \mathcode`\?="503F
+ \mathcode`\[="405B
+ \mathcode`\\="026E
+ \mathcode`\]="505D
+ \mathcode`\_="8000
+ \mathcode`\{="4266
+ \mathcode`\|="026A
+ \mathcode`\}="5267
+ %
+ \delcode`\(="028300
+ \delcode`\)="029301
+ \delcode`\[="05B302
+ \delcode`\]="05D303
+ \delcode`\<="26830A
+ \delcode`\>="26930B
+ \delcode`\/="02F30E
+ \delcode`\|="26A30C
+ \delcode`\\="26E30F
+ %
+ \mathchardef\alpha="010B
+ \mathchardef\beta="010C
+ \mathchardef\gamma="010D
+ \mathchardef\delta="010E
+ \mathchardef\epsilon="010F
+ \mathchardef\zeta="0110
+ \mathchardef\eta="0111
+ \mathchardef\theta="0112
+ \mathchardef\iota="0113
+ \mathchardef\kappa="0114
+ \mathchardef\lambda="0115
+ \mathchardef\mu="0116
+ \mathchardef\nu="0117
+ \mathchardef\xi="0118
+ \mathchardef\pi="0119
+ \mathchardef\rho="011A
+ \mathchardef\sigma="011B
+ \mathchardef\tau="011C
+ \mathchardef\upsilon="011D
+ \mathchardef\phi="011E
+ \mathchardef\chi="011F
+ \mathchardef\psi="0120
+ \mathchardef\omega="0121
+ \mathchardef\varepsilon="0122
+ \mathchardef\vartheta="0123
+ \mathchardef\varpi="0124
+ \mathchardef\varrho="0125
+ \mathchardef\varsigma="0126
+ \mathchardef\varphi="0127
+ \mathchardef\Gamma="7000
+ \mathchardef\Delta="7001
+ \mathchardef\Theta="7002
+ \mathchardef\Lambda="7003
+ \mathchardef\Xi="7004
+ \mathchardef\Pi="7005
+ \mathchardef\Sigma="7006
+ \mathchardef\Upsilon="7007
+ \mathchardef\Phi="7008
+ \mathchardef\Psi="7009
+ \mathchardef\Omega="700A
+ %
+ \mathchardef\aleph="0240
+ \def\hbar{{\mathchar'26\mkern-9muh}}
+ \mathchardef\imath="017B
+ \mathchardef\jmath="017C
+ \mathchardef\ell="0160
+ \mathchardef\wp="017D
+ \mathchardef\Re="023C
+ \mathchardef\Im="023D
+ \mathchardef\partial="0140
+ \mathchardef\infty="0231
+ \mathchardef\prime="0230
+ \mathchardef\emptyset="023B
+ \mathchardef\nabla="0272
+ \def\surd{{\mathchar"1270}}
+ \mathchardef\top="023E
+ \mathchardef\bot="023F
+ \def\angle{{\vbox{\ialign{$\m@th\scriptstyle####$\crcr
+ \not\mathrel{\mkern14mu}\crcr
+ \noalign{\nointerlineskip}
+ \mkern2.5mu\leaders\hrule height.34pt\hfill\mkern2.5mu\crcr}}}}
+ \mathchardef\triangle="0234
+ \mathchardef\forall="0238
+ \mathchardef\exists="0239
+ \mathchardef\neg="023A \let\lnot=\neg
+ \mathchardef\flat="015B
+ \mathchardef\natural="015C
+ \mathchardef\sharp="015D
+ \mathchardef\clubsuit="027C
+ \mathchardef\diamondsuit="027D
+ \mathchardef\heartsuit="027E
+ \mathchardef\spadesuit="027F
+ %
+ \mathchardef\coprod="1360
+ \mathchardef\bigvee="1357
+ \mathchardef\bigwedge="1356
+ \mathchardef\biguplus="1355
+ \mathchardef\bigcap="1354
+ \mathchardef\bigcup="1353
+ \mathchardef\intop="1352 \def\int{\intop\nolimits}
+ \mathchardef\prod="1351
+ \mathchardef\sum="1350
+ \mathchardef\bigotimes="134E
+ \mathchardef\bigoplus="134C
+ \mathchardef\bigodot="134A
+ \mathchardef\ointop="1348 \def\oint{\ointop\nolimits}
+ \mathchardef\bigsqcup="1346
+ \mathchardef\smallint="1273
+ %
+ \mathchardef\triangleleft="212F
+ \mathchardef\triangleright="212E
+ \mathchardef\bigtriangleup="2234
+ \mathchardef\bigtriangledown="2235
+ \mathchardef\wedge="225E \let\land=\wedge
+ \mathchardef\vee="225F \let\lor=\vee
+ \mathchardef\cap="225C
+ \mathchardef\cup="225B
+ \mathchardef\ddagger="227A
+ \mathchardef\dagger="2279
+ \mathchardef\sqcap="2275
+ \mathchardef\sqcup="2274
+ \mathchardef\uplus="225D
+ \mathchardef\amalg="2271
+ \mathchardef\diamond="2205
+ \mathchardef\bullet="220F
+ \mathchardef\wr="226F
+ \mathchardef\div="2204
+ \mathchardef\odot="220C
+ \mathchardef\oslash="220B
+ \mathchardef\otimes="220A
+ \mathchardef\ominus="2209
+ \mathchardef\oplus="2208
+ \mathchardef\mp="2207
+ \mathchardef\pm="2206
+ \mathchardef\circ="220E
+ \mathchardef\bigcirc="220D
+ \mathchardef\setminus="226E
+ \mathchardef\cdot="2201
+ \mathchardef\ast="2203
+ \mathchardef\times="2202
+ \mathchardef\star="213F
+ %
+ \mathchardef\propto="322F
+ \mathchardef\sqsubseteq="3276
+ \mathchardef\sqsupseteq="3277
+ \mathchardef\parallel="326B
+ \mathchardef\mid="326A
+ \mathchardef\dashv="3261
+ \mathchardef\vdash="3260
+ \mathchardef\nearrow="3225
+ \mathchardef\searrow="3226
+ \mathchardef\nwarrow="322D
+ \mathchardef\swarrow="322E
+ \mathchardef\Leftrightarrow="322C
+ \mathchardef\Leftarrow="3228
+ \mathchardef\Rightarrow="3229
+ \def\neq{\not=}
+ \let\ne=\neq
+ \mathchardef\leq="3214 \let\le=\leq
+ \mathchardef\geq="3215 \let\ge=\geq
+ \mathchardef\succ="321F
+ \mathchardef\prec="321E
+ \mathchardef\approx="3219
+ \mathchardef\succeq="3217
+ \mathchardef\preceq="3216
+ \mathchardef\supset="321B
+ \mathchardef\subset="321A
+ \mathchardef\supseteq="3213
+ \mathchardef\subseteq="3212
+ \mathchardef\in="3232
+ \mathchardef\ni="3233
+ \let\owns=\ni
+ \mathchardef\gg="321D
+ \mathchardef\ll="321C
+ \mathchardef\not="3236
+ \mathchardef\leftrightarrow="3224
+ \mathchardef\leftarrow="3220
+ \let\gets=\leftarrow
+ \mathchardef\rightarrow="3221
+ \let\to=\rightarrow
+ \mathchardef\mapstochar="3237
+ \def\mapsto{\mapstochar\rightarrow}
+ \mathchardef\sim="3218
+ \mathchardef\simeq="3227
+ \mathchardef\perp="323F
+ \mathchardef\equiv="3211
+ \mathchardef\asymp="3210
+ \mathchardef\smile="315E
+ \mathchardef\frown="315F
+ \mathchardef\leftharpoonup="3128
+ \mathchardef\leftharpoondown="3129
+ \mathchardef\rightharpoonup="312A
+ \mathchardef\rightharpoondown="312B
+ %
+ \def\Relbar{\mathrel=}
+ \mathchardef\lhook="312C \def\hookrightarrow{\lhook\joinrel\rightarrow}
+ \mathchardef\rhook="312D \def\hookleftarrow{\leftarrow\joinrel\rhook}
+ \def\bowtie{\mathrel\triangleright\joinrel\mathrel\triangleleft}
+ \def\models{\mathrel|\joinrel=}
+ \def\Longrightarrow{\Relbar\joinrel\Rightarrow}
+ \def\longrightarrow{\relbar\joinrel\rightarrow}
+ \def\longleftarrow{\leftarrow\joinrel\relbar}
+ \def\Longleftarrow{\Leftarrow\joinrel\Relbar}
+ \def\longmapsto{\mapstochar\longrightarrow}
+ \def\longleftrightarrow{\leftarrow\joinrel\rightarrow}
+ \def\Longleftrightarrow{\Leftarrow\joinrel\Rightarrow}
+ \def\iff{\;\Longleftrightarrow\;}
+ %
+ \mathchardef\ldotp="613A % ldot as a punctuation mark
+ \mathchardef\cdotp="6201 % cdot as a punctuation mark
+ \mathchardef\colon="603A % colon as a punctuation mark
+ \def\ldots{\mathinner{\ldotp\ldotp\ldotp}}
+ \def\cdots{\mathinner{\cdotp\cdotp\cdotp}}
+ \def\vdots{\vbox{\baselineskip4\p@ \lineskiplimit\z@
+ \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
+ \def\ddots{\mathinner{\mkern1mu\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern2mu
+ \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu}}
+ %
+ \def\acute{\mathaccent"7013 }
+ \def\grave{\mathaccent"7012 }
+ \def\ddot{\mathaccent"707F }
+ \def\tilde{\mathaccent"707E }
+ \def\bar{\mathaccent"7016 }
+ \def\breve{\mathaccent"7015 }
+ \def\check{\mathaccent"7014 }
+ \def\hat{\mathaccent"705E }
+ \def\vec{\mathaccent"017E }
+ \def\dot{\mathaccent"705F }
+ \def\widetilde{\mathaccent"0365 }
+ \def\widehat{\mathaccent"0362 }
+ %
+ \def\lmoustache{\delimiter"437A340 }% top from (, bottom from )
+ \def\rmoustache{\delimiter"537B341 }% top from ), bottom from (
+ \def\lgroup{\delimiter"4\hex\bffam 2833A }% extensible ( with sharper tips
+ \def\rgroup{\delimiter"5\hex\bffam 2933B }% extensible ) with sharper tips
+ \def\arrowvert{\delimiter"26A33C }% arrow without arrowheads
+ \def\Arrowvert{\delimiter"26B33D }% double arrow without arrowheads
+ \def\bracevert{\delimiter"\hex\ttfam 7C33E }% the vertical bar that extends braces
+ \def\Vert{\delimiter"26B30D }\let\|=\Vert
+ \def\vert{\delimiter"26A30C }
+ \def\uparrow{\delimiter"3222378 }
+ \def\downarrow{\delimiter"3223379 }
+ \def\updownarrow{\delimiter"326C33F }
+ \def\Uparrow{\delimiter"322A37E }
+ \def\Downarrow{\delimiter"322B37F }
+ \def\Updownarrow{\delimiter"326D377 }
+ \def\backslash{\delimiter"26E30F }% for double coset G\backslash H
+ \def\rangle{\delimiter"526930B }
+ \def\langle{\delimiter"426830A }
+ \def\rbrace{\delimiter"5267309 }\let\}=\rbrace
+ \def\lbrace{\delimiter"4266308 }\let\{=\lbrace
+ \def\rceil{\delimiter"5265307 }
+ \def\lceil{\delimiter"4264306 }
+ \def\rfloor{\delimiter"5263305 }
+ \def\lfloor{\delimiter"4262304 }
+}
+\endinput
+
+
+
+
+