% 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





