Use new -t option in l3build for TU tests
[latex2e.git] / latex2e-20150101 / base / fontdef.dtx
blob0767c5a736b1398d57777326f3e901f7f4a0605c
1 % \iffalse meta-comment
3 % Copyright 1993-2015
4 % The LaTeX3 Project and any individual authors listed elsewhere
5 % in this file.
7 % This file is part of the LaTeX base system.
8 % -------------------------------------------
10 % It may be distributed and/or modified under the
11 % conditions of the LaTeX Project Public License, either version 1.3c
12 % of this license or (at your option) any later version.
13 % The latest version of this license is in
14 %    http://www.latex-project.org/lppl.txt
15 % and version 1.3c or later is part of all distributions of LaTeX
16 % version 2005/12/01 or later.
18 % This file has the LPPL maintenance status "maintained".
20 % The list of all files belonging to the LaTeX base distribution is
21 % given in the file `manifest.txt'. See also `legal.txt' for additional
22 % information.
24 % The list of derived (unpacked) files belonging to the distribution
25 % and covered by LPPL is defined by the unpacking scripts (with
26 % extension .ins) which are part of the distribution.
28 % \fi
29 % \iffalse
30 %%% From File: fontdef.dtx
31 %<*dtx>
32            \ProvidesFile{fontdef.dtx}
33 %</dtx>
34 %<text,   >\ProvidesFile{fonttext.ltx}
35 %<math,   >\ProvidesFile{fontmath.ltx}
36 %<+cfgtext>\ProvidesFile{fonttext.cfg}
37 %<+cfgmath>\ProvidesFile{fontmath.cfg}
38 %<+cfgprel>\ProvidesFile{preload.cfg}
39 %<driver, >\ProvidesFile{fontdef.drv}
40 % \fi
41 %          \ProvidesFile{fontdef.dtx}
42            [2014/09/29 v2.3a LaTeX Kernel
43 % \iftrue  (\else
44 %<text,   >(Text
45 %<math,   >(Math
46 %<+cfgtext>(Uncustomised text
47 %<+cfgmath>(Uncustomised math
48 %<+cfgprel>(Uncustomised preload
49 % \fi
50            font setup)]
52 % \CheckSum{1463}
53 %% \CharacterTable
54 %%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
55 %%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
56 %%   Digits        \0\1\2\3\4\5\6\7\8\9
57 %%   Exclamation   \!     Double quote  \"     Hash (number) \#
58 %%   Dollar        \$     Percent       \%     Ampersand     \&
59 %%   Acute accent  \'     Left paren    \(     Right paren   \)
60 %%   Asterisk      \*     Plus          \+     Comma         \,
61 %%   Minus         \-     Point         \.     Solidus       \/
62 %%   Colon         \:     Semicolon     \;     Less than     \<
63 %%   Equals        \=     Greater than  \>     Question mark \?
64 %%   Commercial at \@     Left bracket  \[     Backslash     \\
65 %%   Right bracket \]     Circumflex    \^     Underscore    \_
66 %%   Grave accent  \`     Left brace    \{     Vertical bar  \|
67 %%   Right brace   \}     Tilde         \~}
69 %\iffalse        This is a META comment
71 % File `fontdef.dtx'.
72 % Copyright (C) 1989-1999 Frank Mittelbach and Rainer Sch\"opf,
73 % All rights reserved.
75 %\fi
77 % \changes{v2.1a}{1993/12/01}{Update for LaTeX2e}
78 % \changes{v2.2a}{1994/10/14}{New coding}
79 % \changes{v2.2i}{1994/12/02}{Commented out \cs{ldots}. ASAJ.}
80 % \changes{v2.2j}{1995/05/11}{Updates to some plain macros}
81 % \changes{v2.2l}{1995/10/03}{\cs{@@sqrt} from patch file for /1701}
82 % \changes{v2.2o}{1996/05/17}{\cs{@@sqrt} removed, at last}
83 % \changes{v2.2p}{1996/11/20}{lowercase fd and enc.def file names /1044}
84 % \changes{v2.2x}{1999/01/05}{Need special protection for character
85 %     \texttt{\char62} in \cs{changes} entry.}
87 % \title{The \texttt{fontdef.dtx} file\thanks
88 %         {This file has version number \fileversion, dated \filedate}}
89 % \author{Frank Mittelbach \and Rainer Sch\"opf}
91 % \def\dst{{\normalfont\scshape docstrip}}
92 % \setcounter{StandardModuleDepth}{1}
95 % \MaintainedByLaTeXTeam{latex}
96 % \maketitle
98 % \section{Introduction}
100 % This file is used to generate the files \texttt{fonttext.ltx} (text
101 % font declarations) and \texttt{fontmath.ltx} (math font
102 % declarations), which are used during the format generation.  It
103 % contains the declaration of the standard text encodings used at the
104 % site as well as a minimal subset of font shape groups that NFSS will
105 % look at to ensure that the specified encodings are valid.
107 % The math part contains the setup for math encodings as well as the
108 % default math symbol declarations that belong to the encoding.
110 % It is possible to change this setup (by using other fonts, or
111 % defaults) without losing the ability to
112 % process documents written at other sites. Portability in this sense
113 % means that a document will compile without errors. It does not mean,
114 % however, that identical output will be produced. For this it is
115 % necessary that the distributed setup is used at both installations.
117 % \section{Customization}
119 % You are not allowed to change this source file!  If you want to
120 % change the default encodings and/or the font shape groups preloaded
121 % you should should create a copy of \texttt{fonttext.ltx}
122 % under the name \texttt{fonttext.cfg} and change this copy. If
123 % \LaTeXe{} finds a file of this name it will use it, otherwise it
124 % uses the standard file which is \texttt{fontdef.ltx}.
126 % If you don't plan to use Computer Modern much or at all, it might
127 % (!)  be a good idea to make your own \texttt{fonttext.cfg}. Look at
128 % the comments below (docstrip module `text') to see what should
129 % should go into such a file.
131 % To change the math font setup use a copy of \texttt{fontmath.ltx}
132 % under the name \texttt{fontmath.cfg} and change this copy. However,
133 % dealing with this interface is even more a job for an expert than
134 % changing the text font setup --- in short, we don't encourage either.
136 % \begin{quote}
137 %   \textbf{Warning:} please note that we don't support customised
138 %   \LaTeX{} versions. Thus, before sending in a bug report please try
139 %   your test file with a \LaTeX{} format which is not customised and
140 %   send in the log from that version (unless the problem goes away).
141 % \end{quote}
143 % Please note: the following standard encodings  have to
144 % be defined in all local variants of \texttt{font....cfg} to guarantee
145 % that all \LaTeX{} installations behave in the same way.
146 % \begin{center}
147 % \begin{tabular}{ll}
148 %   |T1|      &    Cork \TeX{} text encoding \\
149 %   |OT1|      &   old \TeX{} text encoding \\
150 %   |U|        &   unknown encoding \\
151 %   |OML|      &   old \TeX{} math letters encoding \\
152 %   |OMS|      &   old \TeX{} math symbols encoding \\
153 %   |OMX|      &   old \TeX{} math extension symbols encoding
154 % \end{tabular}
155 % \end{center}
156 % Notice that some of these encodings are `old' in the sense that we
157 % hope that they will be superseded soon by encoding standards defined
158 % by the \TeX{} user community. Therefore this set of default encodings
159 % may change in the future.
161 % The first candidate is |OT1| which will soon be replaced by |T1|, the
162 % official \TeX{} text encoding.
164 % \begin{quote}\textbf{Warning:}
165 % If you add additional encodings to this file there is no guarantee
166 % any longer that files processable at your installation will also be
167 % processable at other installations. Thus, if you make use of
168 % such an encoding in your document, e.g.~if you intend to typeset in
169 % Cyrillic (|OT2| encoding), you need to specify this encoding in the
170 % preamble of your document prior to sending it to another
171 % installation. Once the encoding is specified in that place in your
172 % document, the document is processable at all \LaTeX{} installations
173 % (provided they have suitable fonts installed).
175 % For this reason we suggest that you define a short package file that
176 % sets up an additional encoding used at your site (rather than
177 % putting the encoding into this file) since this package can easily
178 % be shipped with your document.
179 % \end{quote}
182 % \StopEventually{}
184 % \section{The \texttt{docstrip} modules}
186 % The following modules are used to direct \texttt{docstrip} in
187 % generating external files:
188 % \begin{center}
189 % \begin{tabular}{ll}
190 %   driver & produce a documentation driver file \\
191 %   text   & produce the file \texttt{fonttext.ltx}\\
192 %   math   & produce the file \texttt{fontmath.ltx}\\
193 %   cfgtext   & produce a dummy \texttt{fonttext.cfg} file\\
194 %   cfgmath   & produce a dummy \texttt{fontmath.cfg} file\\
195 % \end{tabular}
196 % \end{center}
197 % A typical \texttt{docstrip} command file would then have entries like:
198 % \begin{verbatim}
199 %\generateFile{fonttext.ltx}{t}{\from{fontdef.dtx}{text}}
200 %\end{verbatim}
203 % \section{A driver for this document}
205 % The next bit of code contains the documentation driver file for
206 % \TeX{}, i.e.~the file that will produce the documentation you are
207 % currently reading. It will be extracted from this file by the
208 % \dst{} program.
209 %    \begin{macrocode}
210 %<*driver>
211 \documentclass{ltxdoc}
212 \GetFileInfo{fontdef.dtx}
213 \begin{document}
214    \DocInput{fontdef.dtx}
215 \end{document}
216 %</driver>
217 %    \end{macrocode}
221 % \section{The \texttt{fonttext.ltx} file}
223 %    The identification is done earlier on with a |\ProvidesFile|
224 %    declaration.
225 %    \begin{macrocode}
226 %<*text>
227 \typeout{=== Don't modify this file, use a .cfg file instead ===^^J}
228 %    \end{macrocode}
230 %  \subsection{Encodings}
232 %    This file declares the standard encodings for text and math
233 %    fonts. All others should be declared in packages or in the
234 %    documents directly.
236 %    For every text encoding there are normally a number of encoding
237 %    specific commands, e.g.~accents, special characters, etc.  (The
238 %    definition for such a command might have to change when the
239 %    encoding is changed, because the character is in a different
240 %    position, or not available at all, or the accent is produced in a
241 %    different way.)  This is handled by a general mechanism which is
242 %    described in \texttt{ltoutenc.dtx}.
244 %    By convention, text  encoding specific declarations, including the
245 %    declaration |\DeclareFontEncoding|, are kept in separate file of
246 %    the form \meta{enc}\texttt{enc.def}, e.g.~\texttt{ot1enc.def}. This
247 %    allows other applications to make use of the declarations as
248 %    well.
250 %    Similar to the default encoding, the loading of the encoding
251 %    files for the two major text encodings shouldn't be changed.
252 %    In particular, the \texttt{inputenc} package depends on this.
253 % \changes{v2.2s}{1997/12/20}{Added documentation}
255 % \changes{v2.1d}{1994/01/05}{Removed nf prefix from file names.}
256 % \changes{v2.1f}{1994/05/14}{Removed .def files.}
257 % \changes{v2.1g}{1994/05/1g}{Removed \cs{DeclareFontEncoding} for ot1
258 %                             and t1 and input .def files instead}
259 % \changes{v2.2c}{1994/10/25}{Added OMSenc.def}
260 % \changes{v2.2d}{1994/10/31}{Added OMLenc.def ...}
261 % \changes{v2.2e}{1994/10/31}{... and moved further down}
262 % \changes{v2.2f}{1994/11/07}{(DPC) Updated to use \cs{ProvidesFile}}
263 % \changes{v2.2h}{1994/11/16}{(DPC) Removed \cmd\{ and \cmd\}}
264 %    \begin{macrocode}
265 \input {omlenc.def}
266 \input  {t1enc.def}
267 \input {ot1enc.def}       % <- should come after T1 for speed
268 \input {omsenc.def}
269 %    \end{macrocode}
271 %    We then set set the default text font encoding. This will
272 %    hopefully change some day to |T1|. This setting should \emph{not}
273 %    be changed to produce a portable format.
274 %    \begin{macrocode}
275 \fontencoding{OT1}
276 %    \end{macrocode}
278 %    If different encodings for text fonts are in use one could put
279 %    the common setup into |\DeclareFontEncodingDefaults|. There is
280 %    now a better mechanism so using this interface is discouraged!
281 %    \begin{macrocode}
282 \DeclareFontEncodingDefaults{}{}
283 %    \end{macrocode}
285 %    Then we define the default substitution for every encoding.
286 %    This release of \LaTeXe{} assumes that the ec fonts are
287 %    available. It is possible to change this to point to some other
288 %    font family (e.g., Times with the appropriate encoding if it is
289 %    available) without making documents non-portable. However, in
290 %    such a case documents will produce different page breaks at other
291 %    sites. The substitution defaults can all be changed without
292 %    losing portability as long as there are font shape definitions
293 %    for the selected substitutions.
294 %    \begin{macrocode}
295 \DeclareFontSubstitution{T1}{cmr}{m}{n}
296 \DeclareFontSubstitution{OT1}{cmr}{m}{n}
297 %    \end{macrocode}
299 %    For every encoding declaration, \LaTeXe{} will try to verify that
300 %    the given substitution information makes sense, i.e.~that it is
301 %    impossible to go into an endless loop if font substitution
302 %    happens. This is done at the moment the |\begin{document}| is
303 %    encountered. \LaTeXe{} will then check that for every encoding the
304 %    substitution defaults form a valid font shape group, which means
305 %    that it will check if there is a |\DeclareFontShape| declaration
306 %    for this combination. We will therefore load the corresponding
307 %    |.fd| files now. If we don't do this they would be loaded at
308 %    verification time (i.e.~at |\begin{document}| which would delay
309 %    processing unnecessarily.
311 %    \begin{quote}
312 %       \textbf{Warning:} Please note that this means that you have to
313 %       regenerate the format whenever you change any of these
314 %       \texttt{.fd} files since \LaTeXe{} will not read \texttt{.fd}
315 %       files if it already knows about the encoding/family
316 %       combination.
317 %    \end{quote}
319 % \changes{v2.2m}{1995/11/01}{add \cs{nfss@catcodes} for internal/1932}
320 % The |\nfss@catcodes| ensures that white space is ignored in any
321 % definitions made in the fd files.
322 %    \begin{macrocode}
323 \begingroup
324 \nfss@catcodes
325 \input  {t1cmr.fd}
326 \input  {ot1cmr.fd}
327 \endgroup
328 %    \end{macrocode}
330 %    We also load some other font definition files which are normally
331 %    needed in a document. This is only done for processing speed and
332 %    you can comment the next two lines out to save some memory. If
333 %    necessary these files are then loaded when your document is
334 %    processed. (Loading |.fd| files is a less drastic step compared
335 %    to preloading fonts because the number of fonts is limited 255 at
336 %    (nearly) every \TeX{} installation, while the amount of main memory
337 %    is not a limiting factor at most installations.)
339 %    \begin{macrocode}
340 \begingroup
341 \nfss@catcodes
342 \input {ot1cmss.fd}
343 \input {ot1cmtt.fd}
344 \endgroup
345 %    \end{macrocode}
347 %    Even with all the precautions it is still possible that NFSS will
348 %    run into problems, for example, when a |.fd| file contains
349 %    corrupted data. To guard against such cases NFSS has a very
350 %    low-level fallback font that is installed with the following line.
351 %    \begin{macrocode}
352 \DeclareErrorFont{OT1}{cmr}{m}{n}{10}
353 %    \end{macrocode}
354 %    This means, ``if everything else fails use Computer Modern Roman
355 %    normal shape at 10pt in the old text encoding''.
356 %    You can change the font used but the encoding should be the same
357 %    as the one specified with |\fontencoding| above.
360 % \subsection{Defaults}
362 %    To allow the use of |\rmfamily|, |\sffamily|, etc.\ in documents
363 %    even if non-standard families are used we provide nine macros
364 %    which hold the name of the corresponding families, series, and so
365 %    on. This makes it easy to use other font families (like Times
366 %    Roman, etc.). One simply has to redefine these defaults.
368 %    All these hooks have to be defined in this file but you can
369 %    change their meaning (except for |\encodingdefault|) without
370 %    making documents non-portable.
373 % \begin{macro}{\rmdefault}
374 % \begin{macro}{\sfdefault}
375 % \begin{macro}{\ttdefault}
376 %    The following three definitions set up the meaning for
377 %    |\rmfamily|, |\sffamily|, and |\ttfamily|.
378 %    \begin{macrocode}
379 \newcommand\rmdefault{cmr}
380 \newcommand\sfdefault{cmss}
381 \newcommand\ttdefault{cmtt}
382 %    \end{macrocode}
383 % \end{macro}
384 % \end{macro}
385 % \end{macro}
387 % \begin{macro}{\bfdefault}
388 % \begin{macro}{\mddefault}
389 %    Series changing commands are influenced by the following hooks.
390 %    \begin{macrocode}
391 \newcommand\bfdefault{bx}
392 \newcommand\mddefault{m}
393 %    \end{macrocode}
394 % \end{macro}
395 % \end{macro}
397 % \begin{macro}{\itdefault}
398 % \begin{macro}{\sldefault}
399 % \begin{macro}{\scdefault}
400 % \begin{macro}{\updefault}
401 %    Shape changing commands use the following hooks.
402 %    \begin{macrocode}
403 \newcommand\itdefault{it}
404 \newcommand\sldefault{sl}
405 \newcommand\scdefault{sc}
406 \newcommand\updefault{n}
407 %    \end{macrocode}
408 % \end{macro}
409 % \end{macro}
410 % \end{macro}
411 % \end{macro}
413 % \begin{macro}{\encodingdefault}
414 % \begin{macro}{\familydefault}
415 % \begin{macro}{\seriesdefault}
416 % \begin{macro}{\shapedefault}
417 %    Finally we have the hooks that describe the behaviour of
418 %    the |\normalfont| command. To stay portable, the definition of
419 %    |\encodingdefault| should \emph{not} be changed and should match
420 %    the setting above for |\fontencoding|. All other values can be
421 %    set according to your taste.
422 %    \begin{macrocode}
423 \newcommand\encodingdefault{OT1}
424 \newcommand\familydefault{\rmdefault}
425 \newcommand\seriesdefault{\mddefault}
426 \newcommand\shapedefault{\updefault}
427 %    \end{macrocode}
428 % \end{macro}
429 % \end{macro}
430 % \end{macro}
431 % \end{macro}
434 %    This finishes the low-level setup in \texttt{fonttext.ltx}.
435 %    \begin{macrocode}
436 %</text>
437 %    \end{macrocode}
442 % \section{The \texttt{fontmath.ltx} file}
444 %    The identification is done earlier on with a |\ProvidesFile|
445 %    declaration.
446 %    \begin{macrocode}
447 %<*math>
448 \typeout{=== Don't modify this file, use a .cfg file instead ===^^J}
449 %    \end{macrocode}
451 % \subsection{The font encodings used}
453 %    \begin{macrocode}
454 \DeclareFontEncoding{OML}{}{}
455 \DeclareFontEncoding{OMS}{}{}
456 \DeclareFontEncoding{OMX}{}{}
457 %    \end{macrocode}
458 %    Finally a declaration for |U| encoding which serves for all fonts
459 %    that do not fit standard encodings. For math this sets up
460 %    |\noaccents@| providing for AMS-\LaTeX{}. This macro is used
461 %    therein to handle accented characters if they are not supported
462 %    by the font. In other words, if fonts with |U| encoding are used
463 %    in math, all accents (like from |\breve|) are obtained from some
464 %    other font that has them.
465 %    \begin{macrocode}
466 \DeclareFontEncoding{U}{}{\noaccents@}
467 %    \end{macrocode}
468 %    The encodings for math are next:
469 %    \begin{macrocode}
470 \DeclareFontSubstitution{OML}{cmm}{m}{it}
471 \DeclareFontSubstitution{OMS}{cmsy}{m}{n}
472 \DeclareFontSubstitution{OMX}{cmex}{m}{n}
473 \DeclareFontSubstitution{U}{cmr}{m}{n}
474 %    \end{macrocode}
476 %    \begin{macrocode}
477 \begingroup
478 \nfss@catcodes
479 \input  {omlcmm.fd}
480 \input  {omscmsy.fd}
481 \input  {omxcmex.fd}
482 \input  {ucmr.fd}
483 \endgroup
484 %    \end{macrocode}
486 %  \subsubsection{Symbolfont and Alphabet declarations}
488 %    We now define the basic symbol fonts used by \LaTeX{}.
489 %    These four symbol fonts must be defined by this file.
491 %    It is possible to make the symbol fonts point to other external
492 %    fonts without losing the ability to process  documents written
493 %    at other sites, as long as one defines the same symbol font names
494 %    with the same encodings, e.g.~|operators| with |OT1| etc.
495 %    If other encodings are used documents become non-portable.
496 %    Such a change should therefore be done in a package file.
498 % \changes{v2.1e}{1994/01/19}{Added missing setting for symbols in
499 %                             bold version.}
500 %    \begin{macrocode}
501 \DeclareSymbolFont{operators}   {OT1}{cmr} {m}{n}
502 \DeclareSymbolFont{letters}     {OML}{cmm} {m}{it}
503 \DeclareSymbolFont{symbols}     {OMS}{cmsy}{m}{n}
504 \DeclareSymbolFont{largesymbols}{OMX}{cmex}{m}{n}
505 %    \end{macrocode}
507 %    \begin{macrocode}
508 \SetSymbolFont{operators}{bold}{OT1}{cmr} {bx}{n}
509 \SetSymbolFont{letters}  {bold}{OML}{cmm} {b}{it}
510 \SetSymbolFont{symbols}  {bold}{OMS}{cmsy}{b}{n}
511 %    \end{macrocode}
513 %    Below are the seven math alphabets which are defined by NFSS.
514 %    Again they must be defined by this file.
515 %    However, as before you can change the fonts used without losing
516 %    portability, but you should be careful when changing the encoding
517 %    since that may make documents come out wrong.
518 %    \begin{macrocode}
519 \DeclareSymbolFontAlphabet{\mathrm}    {operators}
520 \DeclareSymbolFontAlphabet{\mathnormal}{letters}
521 \DeclareSymbolFontAlphabet{\mathcal}   {symbols}
522 \DeclareMathAlphabet      {\mathbf}{OT1}{cmr}{bx}{n}
523 \DeclareMathAlphabet      {\mathsf}{OT1}{cmss}{m}{n}
524 \DeclareMathAlphabet      {\mathit}{OT1}{cmr}{m}{it}
525 \DeclareMathAlphabet      {\mathtt}{OT1}{cmtt}{m}{n}
526 %    \end{macrocode}
527 %    Given the currently available fonts we cannot bold-en |\mathbf|
528 %    and |\mathtt| but in principle one could use `ultra bold' or
529 %    something. The alphabets defined via |\DeclareSymbolFontAlphabet|
530 %    will change automatically in a new math version if the
531 %    corresponding symbol font changes.
532 %    \begin{macrocode}
533 \SetMathAlphabet\mathsf{bold}{OT1}{cmss}{bx}{n}
534 \SetMathAlphabet\mathit{bold}{OT1}{cmr}{bx}{it}
535 %    \end{macrocode}
538 % \subsection{Math font sizes}
539 % \changes{v2.2f}{1994/11/07}
540 %     {(DPC) Add \cs{DeclareMathSizes} declarations}
542 %    The declarations below declare the text, script and scriptscript
543 %    size to be used for each text font size.
545 %    All occurrences of sizes longer than a single character are replaced
546 %    with the macro name that holds them, saving a number of
547 %    tokens (but losing a bit of speed, so this may not stay this way).
548 %    \begin{macrocode}
549  \DeclareMathSizes{5}{5}{5}{5}
550  \DeclareMathSizes{6}{6}{5}{5}
551  \DeclareMathSizes{7}{7}{5}{5}
552  \DeclareMathSizes{8}{8}{6}{5}
553  \DeclareMathSizes{9}{9}{6}{5}
554  \DeclareMathSizes{\@xpt}{\@xpt}{7}{5}
555  \DeclareMathSizes{\@xipt}{\@xipt}{8}{6}
556  \DeclareMathSizes{\@xiipt}{\@xiipt}{8}{6}
557  \DeclareMathSizes{\@xivpt}{\@xivpt}{\@xpt}{7}
558  \DeclareMathSizes{\@xviipt}{\@xviipt}{\@xiipt}{\@xpt}
559  \DeclareMathSizes{\@xxpt}{\@xxpt}{\@xivpt}{\@xiipt}
560  \DeclareMathSizes{\@xxvpt}{\@xxvpt}{\@xxpt}{\@xviipt}
561 %    \end{macrocode}
563 % \subsection{The math symbol assignments}
565 %    We start by setting up math codes for most of the characters
566 %    typed in directly from the keyboard. Most of them are normally
567 %    already setup up in the same way by Ini\TeX{}. However, we repeat
568 %    them here to have a complete setup which can be exchanged with
569 %    another if desired.
571 % \subsubsection{The letters}
572 %    \begin{macrocode}
573 \DeclareMathSymbol{a}{\mathalpha}{letters}{`a}
574 \DeclareMathSymbol{b}{\mathalpha}{letters}{`b}
575 \DeclareMathSymbol{c}{\mathalpha}{letters}{`c}
576 \DeclareMathSymbol{d}{\mathalpha}{letters}{`d}
577 \DeclareMathSymbol{e}{\mathalpha}{letters}{`e}
578 \DeclareMathSymbol{f}{\mathalpha}{letters}{`f}
579 \DeclareMathSymbol{g}{\mathalpha}{letters}{`g}
580 \DeclareMathSymbol{h}{\mathalpha}{letters}{`h}
581 \DeclareMathSymbol{i}{\mathalpha}{letters}{`i}
582 \DeclareMathSymbol{j}{\mathalpha}{letters}{`j}
583 \DeclareMathSymbol{k}{\mathalpha}{letters}{`k}
584 \DeclareMathSymbol{l}{\mathalpha}{letters}{`l}
585 \DeclareMathSymbol{m}{\mathalpha}{letters}{`m}
586 \DeclareMathSymbol{n}{\mathalpha}{letters}{`n}
587 \DeclareMathSymbol{o}{\mathalpha}{letters}{`o}
588 \DeclareMathSymbol{p}{\mathalpha}{letters}{`p}
589 \DeclareMathSymbol{q}{\mathalpha}{letters}{`q}
590 \DeclareMathSymbol{r}{\mathalpha}{letters}{`r}
591 \DeclareMathSymbol{s}{\mathalpha}{letters}{`s}
592 \DeclareMathSymbol{t}{\mathalpha}{letters}{`t}
593 \DeclareMathSymbol{u}{\mathalpha}{letters}{`u}
594 \DeclareMathSymbol{v}{\mathalpha}{letters}{`v}
595 \DeclareMathSymbol{w}{\mathalpha}{letters}{`w}
596 \DeclareMathSymbol{x}{\mathalpha}{letters}{`x}
597 \DeclareMathSymbol{y}{\mathalpha}{letters}{`y}
598 \DeclareMathSymbol{z}{\mathalpha}{letters}{`z}
599 %    \end{macrocode}
601 %    \begin{macrocode}
602 \DeclareMathSymbol{A}{\mathalpha}{letters}{`A}
603 \DeclareMathSymbol{B}{\mathalpha}{letters}{`B}
604 \DeclareMathSymbol{C}{\mathalpha}{letters}{`C}
605 \DeclareMathSymbol{D}{\mathalpha}{letters}{`D}
606 \DeclareMathSymbol{E}{\mathalpha}{letters}{`E}
607 \DeclareMathSymbol{F}{\mathalpha}{letters}{`F}
608 \DeclareMathSymbol{G}{\mathalpha}{letters}{`G}
609 \DeclareMathSymbol{H}{\mathalpha}{letters}{`H}
610 \DeclareMathSymbol{I}{\mathalpha}{letters}{`I}
611 \DeclareMathSymbol{J}{\mathalpha}{letters}{`J}
612 \DeclareMathSymbol{K}{\mathalpha}{letters}{`K}
613 \DeclareMathSymbol{L}{\mathalpha}{letters}{`L}
614 \DeclareMathSymbol{M}{\mathalpha}{letters}{`M}
615 \DeclareMathSymbol{N}{\mathalpha}{letters}{`N}
616 \DeclareMathSymbol{O}{\mathalpha}{letters}{`O}
617 \DeclareMathSymbol{P}{\mathalpha}{letters}{`P}
618 \DeclareMathSymbol{Q}{\mathalpha}{letters}{`Q}
619 \DeclareMathSymbol{R}{\mathalpha}{letters}{`R}
620 \DeclareMathSymbol{S}{\mathalpha}{letters}{`S}
621 \DeclareMathSymbol{T}{\mathalpha}{letters}{`T}
622 \DeclareMathSymbol{U}{\mathalpha}{letters}{`U}
623 \DeclareMathSymbol{V}{\mathalpha}{letters}{`V}
624 \DeclareMathSymbol{W}{\mathalpha}{letters}{`W}
625 \DeclareMathSymbol{X}{\mathalpha}{letters}{`X}
626 \DeclareMathSymbol{Y}{\mathalpha}{letters}{`Y}
627 \DeclareMathSymbol{Z}{\mathalpha}{letters}{`Z}
628 %    \end{macrocode}
630 % \subsubsection{The digits}
632 %    \begin{macrocode}
633 \DeclareMathSymbol{0}{\mathalpha}{operators}{`0}
634 \DeclareMathSymbol{1}{\mathalpha}{operators}{`1}
635 \DeclareMathSymbol{2}{\mathalpha}{operators}{`2}
636 \DeclareMathSymbol{3}{\mathalpha}{operators}{`3}
637 \DeclareMathSymbol{4}{\mathalpha}{operators}{`4}
638 \DeclareMathSymbol{5}{\mathalpha}{operators}{`5}
639 \DeclareMathSymbol{6}{\mathalpha}{operators}{`6}
640 \DeclareMathSymbol{7}{\mathalpha}{operators}{`7}
641 \DeclareMathSymbol{8}{\mathalpha}{operators}{`8}
642 \DeclareMathSymbol{9}{\mathalpha}{operators}{`9}
643 %    \end{macrocode}
646 % \subsubsection{Punctuation, brace, etc. keys}
648 %    \begin{macrocode}
649 \DeclareMathSymbol{!}{\mathclose}{operators}{"21}
650 \DeclareMathSymbol{*}{\mathbin}{symbols}{"03} % \ast
651 \DeclareMathSymbol{+}{\mathbin}{operators}{"2B}
652 \DeclareMathSymbol{,}{\mathpunct}{letters}{"3B}
653 \DeclareMathSymbol{-}{\mathbin}{symbols}{"00}
654 \DeclareMathSymbol{.}{\mathord}{letters}{"3A}
655 \DeclareMathSymbol{:}{\mathrel}{operators}{"3A}
656 \DeclareMathSymbol{;}{\mathpunct}{operators}{"3B}
657 \DeclareMathSymbol{=}{\mathrel}{operators}{"3D}
658 \DeclareMathSymbol{?}{\mathclose}{operators}{"3F}
659 %    \end{macrocode}
660 % The following symbols are defined as delimiters below
661 % which automatically defines them as math symbols.
662 %    \begin{macrocode}
663 %\DeclareMathSymbol{(}{\mathopen}{operators}{"28}
664 %\DeclareMathSymbol{)}{\mathclose}{operators}{"29}
665 %\DeclareMathSymbol{/}{\mathord}{letters}{"3D}
666 %\DeclareMathSymbol{[}{\mathopen}{operators}{"5B}
667 %\DeclareMathSymbol{]}{\mathclose}{operators}{"5D}
668 %\DeclareMathSymbol{|}{\mathord}{symbols}{"6A}
669 %\DeclareMathSymbol{<}{\mathrel}{letters}{"3C}
670 %\DeclareMathSymbol{>}{\mathrel}{letters}{"3E}
671 %    \end{macrocode}
673 %    Should all of the following being activated by default? Probably
674 %    not.
675 %    \begin{macrocode}
676 %\DeclareMathSymbol{`\{}{\mathopen}{symbols}{"66}
677 %\DeclareMathSymbol{`\}}{\mathclose}{symbols}{"67}
678 %\DeclareMathSymbol{`\\}{\mathord}{symbols}{"6E} % \backslash
679 \mathcode`\ ="8000 % \space
680 \mathcode`\'="8000 % ^\prime
681 \mathcode`\_="8000 % \_
682 %    \end{macrocode}
685 % \subsubsection{Delimitercodes for characters}
686 % \changes{v2.2q}{1997/01/08}
687 %     {Use \cs{DeclareMathDelimiter} to set delimiter codes}
688 % \changes{v2.2u}{1998/04/15}
689 %     {Use new syntax for \cs{DeclareMathDelimiter}}
690 %    [to be completed]
692 %    Finally, Ini\TeX{} sets all |\delcode| values to -1, except
693 %    |\delcode`.=0|
694 %    \begin{macrocode}
695 \DeclareMathDelimiter{(}{\mathopen} {operators}{"28}{largesymbols}{"00}
696 \DeclareMathDelimiter{)}{\mathclose}{operators}{"29}{largesymbols}{"01}
697 \DeclareMathDelimiter{[}{\mathopen} {operators}{"5B}{largesymbols}{"02}
698 \DeclareMathDelimiter{]}{\mathclose}{operators}{"5D}{largesymbols}{"03}
699 %    \end{macrocode}
701 % The next two are considered to be relations when not used in the context
702 % of a delimiter! And worse, they do even represent different glyphs when
703 % being used as delimiter and not as delimiter. This is a user level syntax
704 % inherited from plain \TeX{}. Therefore we explicitly redefine the math
705 % symbol definitions for these symbols afterwards.
706 % \changes{v2.2v}{1998/04/17}
707 %     {Reinsert symbol defs for \texttt{<} and \texttt{\char62} chars.}
708 %    \begin{macrocode}
709 \DeclareMathDelimiter{<}{\mathopen}{symbols}{"68}{largesymbols}{"0A}
710 \DeclareMathDelimiter{>}{\mathclose}{symbols}{"69}{largesymbols}{"0B}
711 \DeclareMathSymbol{<}{\mathrel}{letters}{"3C}
712 \DeclareMathSymbol{>}{\mathrel}{letters}{"3E}
713 %    \end{macrocode}
714 % And here is another case where the non-delimiter version produces a
715 % glyph different from the delimiter version.
716 % \changes{v2.2w}{1998/04/18}
717 %     {Reinsert symbol def for \texttt{/} char.}
718 %    \begin{macrocode}
719 \DeclareMathDelimiter{/}{\mathord}{operators}{"2F}{largesymbols}{"0E}
720 \DeclareMathSymbol{/}{\mathord}{letters}{"3D}
721 %    \end{macrocode}
723 %    \begin{macrocode}
724 \DeclareMathDelimiter{|}{\mathord}{symbols}{"6A}{largesymbols}{"0C}
725 %    \end{macrocode}
727 %    \begin{macrocode}
728 \expandafter\DeclareMathDelimiter\@backslashchar
729                         {\mathord}{symbols}{"6E}{largesymbols}{"0F}
730 %    \end{macrocode}
731 % N.B. |{| and |}| should NOT get delcodes;
732 % otherwise parameter grouping fails!
735 % \subsection{Symbols accessed via control sequences}
737 % \subsubsection{Greek letters}
739 %    \begin{macrocode}
740 \DeclareMathSymbol{\alpha}{\mathord}{letters}{"0B}
741 \DeclareMathSymbol{\beta}{\mathord}{letters}{"0C}
742 \DeclareMathSymbol{\gamma}{\mathord}{letters}{"0D}
743 \DeclareMathSymbol{\delta}{\mathord}{letters}{"0E}
744 \DeclareMathSymbol{\epsilon}{\mathord}{letters}{"0F}
745 \DeclareMathSymbol{\zeta}{\mathord}{letters}{"10}
746 \DeclareMathSymbol{\eta}{\mathord}{letters}{"11}
747 \DeclareMathSymbol{\theta}{\mathord}{letters}{"12}
748 \DeclareMathSymbol{\iota}{\mathord}{letters}{"13}
749 \DeclareMathSymbol{\kappa}{\mathord}{letters}{"14}
750 \DeclareMathSymbol{\lambda}{\mathord}{letters}{"15}
751 \DeclareMathSymbol{\mu}{\mathord}{letters}{"16}
752 \DeclareMathSymbol{\nu}{\mathord}{letters}{"17}
753 \DeclareMathSymbol{\xi}{\mathord}{letters}{"18}
754 \DeclareMathSymbol{\pi}{\mathord}{letters}{"19}
755 \DeclareMathSymbol{\rho}{\mathord}{letters}{"1A}
756 \DeclareMathSymbol{\sigma}{\mathord}{letters}{"1B}
757 \DeclareMathSymbol{\tau}{\mathord}{letters}{"1C}
758 \DeclareMathSymbol{\upsilon}{\mathord}{letters}{"1D}
759 \DeclareMathSymbol{\phi}{\mathord}{letters}{"1E}
760 \DeclareMathSymbol{\chi}{\mathord}{letters}{"1F}
761 \DeclareMathSymbol{\psi}{\mathord}{letters}{"20}
762 \DeclareMathSymbol{\omega}{\mathord}{letters}{"21}
763 \DeclareMathSymbol{\varepsilon}{\mathord}{letters}{"22}
764 \DeclareMathSymbol{\vartheta}{\mathord}{letters}{"23}
765 \DeclareMathSymbol{\varpi}{\mathord}{letters}{"24}
766 \DeclareMathSymbol{\varrho}{\mathord}{letters}{"25}
767 \DeclareMathSymbol{\varsigma}{\mathord}{letters}{"26}
768 \DeclareMathSymbol{\varphi}{\mathord}{letters}{"27}
769 \DeclareMathSymbol{\Gamma}{\mathalpha}{operators}{"00}
770 \DeclareMathSymbol{\Delta}{\mathalpha}{operators}{"01}
771 \DeclareMathSymbol{\Theta}{\mathalpha}{operators}{"02}
772 \DeclareMathSymbol{\Lambda}{\mathalpha}{operators}{"03}
773 \DeclareMathSymbol{\Xi}{\mathalpha}{operators}{"04}
774 \DeclareMathSymbol{\Pi}{\mathalpha}{operators}{"05}
775 \DeclareMathSymbol{\Sigma}{\mathalpha}{operators}{"06}
776 \DeclareMathSymbol{\Upsilon}{\mathalpha}{operators}{"07}
777 \DeclareMathSymbol{\Phi}{\mathalpha}{operators}{"08}
778 \DeclareMathSymbol{\Psi}{\mathalpha}{operators}{"09}
779 \DeclareMathSymbol{\Omega}{\mathalpha}{operators}{"0A}
780 %    \end{macrocode}
783 % \subsubsection{Ordinary symbols}
785 %    \begin{macrocode}
786 \DeclareMathSymbol{\aleph}{\mathord}{symbols}{"40}
787 \def\hbar{{\mathchar'26\mkern-9muh}}
788 \DeclareMathSymbol{\imath}{\mathord}{letters}{"7B}
789 \DeclareMathSymbol{\jmath}{\mathord}{letters}{"7C}
790 \DeclareMathSymbol{\ell}{\mathord}{letters}{"60}
791 \DeclareMathSymbol{\wp}{\mathord}{letters}{"7D}
792 \DeclareMathSymbol{\Re}{\mathord}{symbols}{"3C}
793 \DeclareMathSymbol{\Im}{\mathord}{symbols}{"3D}
794 \DeclareMathSymbol{\partial}{\mathord}{letters}{"40}
795 \DeclareMathSymbol{\infty}{\mathord}{symbols}{"31}
796 \DeclareMathSymbol{\prime}{\mathord}{symbols}{"30}
797 \DeclareMathSymbol{\emptyset}{\mathord}{symbols}{"3B}
798 \DeclareMathSymbol{\nabla}{\mathord}{symbols}{"72}
799 \def\surd{{\mathchar"1270}}
800 \DeclareMathSymbol{\top}{\mathord}{symbols}{"3E}
801 \DeclareMathSymbol{\bot}{\mathord}{symbols}{"3F}
802 \def\angle{{\vbox{\ialign{$\m@th\scriptstyle##$\crcr
803       \not\mathrel{\mkern14mu}\crcr
804       \noalign{\nointerlineskip}
805       \mkern2.5mu\leaders\hrule \@height.34pt\hfill\mkern2.5mu\crcr}}}}
806 \DeclareMathSymbol{\triangle}{\mathord}{symbols}{"34}
807 \DeclareMathSymbol{\forall}{\mathord}{symbols}{"38}
808 \DeclareMathSymbol{\exists}{\mathord}{symbols}{"39}
809 \DeclareMathSymbol{\neg}{\mathord}{symbols}{"3A}
810     \let\lnot=\neg
811 \DeclareMathSymbol{\flat}{\mathord}{letters}{"5B}
812 \DeclareMathSymbol{\natural}{\mathord}{letters}{"5C}
813 \DeclareMathSymbol{\sharp}{\mathord}{letters}{"5D}
814 \DeclareMathSymbol{\clubsuit}{\mathord}{symbols}{"7C}
815 \DeclareMathSymbol{\diamondsuit}{\mathord}{symbols}{"7D}
816 \DeclareMathSymbol{\heartsuit}{\mathord}{symbols}{"7E}
817 \DeclareMathSymbol{\spadesuit}{\mathord}{symbols}{"7F}
818 %    \end{macrocode}
821 % \subsubsection{Large Operators}
823 %    \begin{macrocode}
824 \DeclareMathSymbol{\coprod}{\mathop}{largesymbols}{"60}
825 \DeclareMathSymbol{\bigvee}{\mathop}{largesymbols}{"57}
826 \DeclareMathSymbol{\bigwedge}{\mathop}{largesymbols}{"56}
827 \DeclareMathSymbol{\biguplus}{\mathop}{largesymbols}{"55}
828 \DeclareMathSymbol{\bigcap}{\mathop}{largesymbols}{"54}
829 \DeclareMathSymbol{\bigcup}{\mathop}{largesymbols}{"53}
830 \DeclareMathSymbol{\intop}{\mathop}{largesymbols}{"52}
831     \def\int{\intop\nolimits}
832 \DeclareMathSymbol{\prod}{\mathop}{largesymbols}{"51}
833 \DeclareMathSymbol{\sum}{\mathop}{largesymbols}{"50}
834 \DeclareMathSymbol{\bigotimes}{\mathop}{largesymbols}{"4E}
835 \DeclareMathSymbol{\bigoplus}{\mathop}{largesymbols}{"4C}
836 \DeclareMathSymbol{\bigodot}{\mathop}{largesymbols}{"4A}
837 \DeclareMathSymbol{\ointop}{\mathop}{largesymbols}{"48}
838     \def\oint{\ointop\nolimits}
839 \DeclareMathSymbol{\bigsqcup}{\mathop}{largesymbols}{"46}
840 \DeclareMathSymbol{\smallint}{\mathop}{symbols}{"73}
841 %    \end{macrocode}
844 % \subsubsection{Binary symbols}
846 % \changes{v2.3a}{2004/02/04}
847 %     {Added bigtriangle synonyms for stmaryrd}
848 %    \begin{macrocode}
849 \DeclareMathSymbol{\triangleleft}{\mathbin}{letters}{"2F}
850 \DeclareMathSymbol{\triangleright}{\mathbin}{letters}{"2E}
851 \DeclareMathSymbol{\bigtriangleup}{\mathbin}{symbols}{"34}
852 \DeclareMathSymbol{\bigtriangledown}{\mathbin}{symbols}{"35}
853    \let \varbigtriangledown \bigtriangledown
854    \let \varbigtriangleup \bigtriangleup
855 %    \end{macrocode}
857 % These last two synonyms are needed because the \textsf{stamryrd}
858 % package redefines them as Operators.
860 %    \begin{macrocode}
861 \DeclareMathSymbol{\wedge}{\mathbin}{symbols}{"5E}
862    \let\land=\wedge
863 \DeclareMathSymbol{\vee}{\mathbin}{symbols}{"5F}
864    \let\lor=\vee
865 \DeclareMathSymbol{\cap}{\mathbin}{symbols}{"5C}
866 \DeclareMathSymbol{\cup}{\mathbin}{symbols}{"5B}
867 \DeclareMathSymbol{\ddagger}{\mathbin}{symbols}{"7A}
868 \DeclareMathSymbol{\dagger}{\mathbin}{symbols}{"79}
869 \DeclareMathSymbol{\sqcap}{\mathbin}{symbols}{"75}
870 \DeclareMathSymbol{\sqcup}{\mathbin}{symbols}{"74}
871 \DeclareMathSymbol{\uplus}{\mathbin}{symbols}{"5D}
872 \DeclareMathSymbol{\amalg}{\mathbin}{symbols}{"71}
873 \DeclareMathSymbol{\diamond}{\mathbin}{symbols}{"05}
874 \DeclareMathSymbol{\bullet}{\mathbin}{symbols}{"0F}
875 \DeclareMathSymbol{\wr}{\mathbin}{symbols}{"6F}
876 \DeclareMathSymbol{\div}{\mathbin}{symbols}{"04}
877 \DeclareMathSymbol{\odot}{\mathbin}{symbols}{"0C}
878 \DeclareMathSymbol{\oslash}{\mathbin}{symbols}{"0B}
879 \DeclareMathSymbol{\otimes}{\mathbin}{symbols}{"0A}
880 \DeclareMathSymbol{\ominus}{\mathbin}{symbols}{"09}
881 \DeclareMathSymbol{\oplus}{\mathbin}{symbols}{"08}
882 \DeclareMathSymbol{\mp}{\mathbin}{symbols}{"07}
883 \DeclareMathSymbol{\pm}{\mathbin}{symbols}{"06}
884 \DeclareMathSymbol{\circ}{\mathbin}{symbols}{"0E}
885 \DeclareMathSymbol{\bigcirc}{\mathbin}{symbols}{"0D}
886 \DeclareMathSymbol{\setminus}{\mathbin}{symbols}{"6E}
887 \DeclareMathSymbol{\cdot}{\mathbin}{symbols}{"01}
888 \DeclareMathSymbol{\ast}{\mathbin}{symbols}{"03}
889 \DeclareMathSymbol{\times}{\mathbin}{symbols}{"02}
890 \DeclareMathSymbol{\star}{\mathbin}{letters}{"3F}
891 %    \end{macrocode}
894 % \subsubsection{Relations}
896 %    \begin{macrocode}
897 \DeclareMathSymbol{\propto}{\mathrel}{symbols}{"2F}
898 \DeclareMathSymbol{\sqsubseteq}{\mathrel}{symbols}{"76}
899 \DeclareMathSymbol{\sqsupseteq}{\mathrel}{symbols}{"77}
900 \DeclareMathSymbol{\parallel}{\mathrel}{symbols}{"6B}
901 \DeclareMathSymbol{\mid}{\mathrel}{symbols}{"6A}
902 \DeclareMathSymbol{\dashv}{\mathrel}{symbols}{"61}
903 \DeclareMathSymbol{\vdash}{\mathrel}{symbols}{"60}
904 \DeclareMathSymbol{\nearrow}{\mathrel}{symbols}{"25}
905 \DeclareMathSymbol{\searrow}{\mathrel}{symbols}{"26}
906 \DeclareMathSymbol{\nwarrow}{\mathrel}{symbols}{"2D}
907 \DeclareMathSymbol{\swarrow}{\mathrel}{symbols}{"2E}
908 \DeclareMathSymbol{\Leftrightarrow}{\mathrel}{symbols}{"2C}
909 \DeclareMathSymbol{\Leftarrow}{\mathrel}{symbols}{"28}
910 \DeclareMathSymbol{\Rightarrow}{\mathrel}{symbols}{"29}
911 \def\neq{\not=} \let\ne=\neq
912 \DeclareMathSymbol{\leq}{\mathrel}{symbols}{"14}
913    \let\le=\leq
914 \DeclareMathSymbol{\geq}{\mathrel}{symbols}{"15}
915    \let\ge=\geq
916 \DeclareMathSymbol{\succ}{\mathrel}{symbols}{"1F}
917 \DeclareMathSymbol{\prec}{\mathrel}{symbols}{"1E}
918 \DeclareMathSymbol{\approx}{\mathrel}{symbols}{"19}
919 \DeclareMathSymbol{\succeq}{\mathrel}{symbols}{"17}
920 \DeclareMathSymbol{\preceq}{\mathrel}{symbols}{"16}
921 \DeclareMathSymbol{\supset}{\mathrel}{symbols}{"1B}
922 \DeclareMathSymbol{\subset}{\mathrel}{symbols}{"1A}
923 \DeclareMathSymbol{\supseteq}{\mathrel}{symbols}{"13}
924 \DeclareMathSymbol{\subseteq}{\mathrel}{symbols}{"12}
925 \DeclareMathSymbol{\in}{\mathrel}{symbols}{"32}
926 \DeclareMathSymbol{\ni}{\mathrel}{symbols}{"33}
927     \let\owns=\ni
928 \DeclareMathSymbol{\gg}{\mathrel}{symbols}{"1D}
929 \DeclareMathSymbol{\ll}{\mathrel}{symbols}{"1C}
930 \DeclareMathSymbol{\not}{\mathrel}{symbols}{"36}
931 \DeclareMathSymbol{\leftrightarrow}{\mathrel}{symbols}{"24}
932 \DeclareMathSymbol{\leftarrow}{\mathrel}{symbols}{"20}
933    \let\gets=\leftarrow
934 \DeclareMathSymbol{\rightarrow}{\mathrel}{symbols}{"21}
935    \let\to=\rightarrow
936 \DeclareMathSymbol{\mapstochar}{\mathrel}{symbols}{"37}
937    \def\mapsto{\mapstochar\rightarrow}
938 \DeclareMathSymbol{\sim}{\mathrel}{symbols}{"18}
939 \DeclareMathSymbol{\simeq}{\mathrel}{symbols}{"27}
940 \DeclareMathSymbol{\perp}{\mathrel}{symbols}{"3F}
941 \DeclareMathSymbol{\equiv}{\mathrel}{symbols}{"11}
942 \DeclareMathSymbol{\asymp}{\mathrel}{symbols}{"10}
943 \DeclareMathSymbol{\smile}{\mathrel}{letters}{"5E}
944 \DeclareMathSymbol{\frown}{\mathrel}{letters}{"5F}
945 \DeclareMathSymbol{\leftharpoonup}{\mathrel}{letters}{"28}
946 \DeclareMathSymbol{\leftharpoondown}{\mathrel}{letters}{"29}
947 \DeclareMathSymbol{\rightharpoonup}{\mathrel}{letters}{"2A}
948 \DeclareMathSymbol{\rightharpoondown}{\mathrel}{letters}{"2B}
949 %    \end{macrocode}
951 %    Here cometh much profligate robustification of math constructs.
952 %    Warning: some of these commands may become non-robust if an
953 %    AMS package is loaded.
955 %    Further potential problems: some math font packages may make
956 %    unfortunate assumptions about some of these definitions that are
957 %    not true of the robust versions we need.
958 % \changes{v2.3}{2004/02/02}
959 %     {Many things from here on made robust}
960 %    \begin{macrocode}
961 \DeclareRobustCommand
962   \cong{\mathrel{\mathpalette\@vereq\sim}} % congruence sign
963 \def\@vereq#1#2{\lower.5\p@\vbox{\lineskiplimit\maxdimen\lineskip-.5\p@
964     \ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
965 \DeclareRobustCommand
966   \notin{\mathrel{\m@th\mathpalette\c@ncel\in}}
967 \def\c@ncel#1#2{\m@th\ooalign{$\hfil#1\mkern1mu/\hfil$\crcr$#1#2$}}
968 \DeclareRobustCommand
969   \rightleftharpoons{\mathrel{\mathpalette\rlh@{}}}
970 \def\rlh@#1{\vcenter{\m@th\hbox{\ooalign{\raise2pt
971           \hbox{$#1\rightharpoonup$}\crcr
972         $#1\leftharpoondown$}}}}
973 \DeclareRobustCommand
974   \doteq{\buildrel\textstyle.\over=}
975 %    \end{macrocode}
977 % \subsubsection{Arrows}
979 %    \begin{macrocode}
980 \DeclareRobustCommand
981   \joinrel{\mathrel{\mkern-3mu}}
982 \DeclareRobustCommand
983   \relbar{\mathrel{\smash-}} % \smash, because -
984                                % has the same height as +
985 %    \end{macrocode}
986 %    In contrast to \texttt{plain.tex} |\Relbar| got braces around the
987 %    equal sign to guard against it being ``math active'' expanding to
988 %    |\futurelet...|. This might be the case when packages are
989 %    implementing shorthands for math, e.g. |=>| meaning |\Rightarrow|
990 %    etc. It would actually be better not to use |=| in such
991 %    definitions but instead define something like |\mathequalsign|
992 %    and use this. However we can't do this now as it would break
993 %    other math layouts where characters are in different places
994 %    (since those wouldn't know about the need for a new command name).
995 % \changes{v2.2z}{2001/06/04}{Guard against math active equal sign in
996 %    \cs{Relbar} (pr/3333)}
997 %    \begin{macrocode}
998 \DeclareRobustCommand
999   \Relbar{\mathrel{=}}
1000 \DeclareMathSymbol{\lhook}{\mathrel}{letters}{"2C}
1001    \def\hookrightarrow{\lhook\joinrel\rightarrow}
1002 \DeclareMathSymbol{\rhook}{\mathrel}{letters}{"2D}
1003    \def\hookleftarrow{\leftarrow\joinrel\rhook}
1004 \DeclareRobustCommand
1005   \bowtie{\mathrel\triangleright\joinrel\mathrel\triangleleft}
1006 %    \end{macrocode}
1008 % \changes{v2.2z}{2001/06/04}{Guard against math active equal and pipe
1009 %    sign in \cs{models} (pr/3333)}
1010 %    \begin{macrocode}
1011 \DeclareRobustCommand
1012   \models{\mathrel{|}\joinrel\Relbar}
1013 \DeclareRobustCommand
1014   \Longrightarrow{\Relbar\joinrel\Rightarrow}
1015 %    \end{macrocode}
1017 % LaTeX Change: |\longrightarrow| and |\longleftarrow| redefined to make
1018 %   then robust.
1019 %    \begin{macrocode}
1020 \DeclareRobustCommand\longrightarrow
1021      {\relbar\joinrel\rightarrow}
1022 \DeclareRobustCommand\longleftarrow
1023      {\leftarrow\joinrel\relbar}
1024 %    \end{macrocode}
1026 %    \begin{macrocode}
1027 \DeclareRobustCommand
1028   \Longleftarrow{\Leftarrow\joinrel\Relbar}
1029 \DeclareRobustCommand
1030   \longmapsto{\mapstochar\longrightarrow}
1031 \DeclareRobustCommand
1032   \longleftrightarrow{\leftarrow\joinrel\rightarrow}
1033 \DeclareRobustCommand
1034   \Longleftrightarrow{\Leftarrow\joinrel\Rightarrow}
1035 \DeclareRobustCommand
1036   \iff{\;\Longleftrightarrow\;}
1037 %    \end{macrocode}
1040 % \subsubsection{Punctuation symbols}
1042 %    \begin{macrocode}
1043 \DeclareMathSymbol{\ldotp}{\mathpunct}{letters}{"3A}
1044 \DeclareMathSymbol{\cdotp}{\mathpunct}{symbols}{"01}
1045 \DeclareMathSymbol{\colon}{\mathpunct}{operators}{"3A}
1046 %    \end{macrocode}
1049 % This is commented out, since |\ldots| is now defined in ltoutenc.dtx.
1050 %    \begin{macrocode}
1051 %\def\@ldots{\mathinner{\ldotp\ldotp\ldotp}}
1052 %\DeclareRobustCommand\ldots
1053 %          {\relax\ifmmode\@ldots\else\mbox{$\m@th\@ldots\,$}\fi}
1054 %    \end{macrocode}
1056 %    \begin{macrocode}
1057 \DeclareRobustCommand
1058   \cdots{\mathinner{\cdotp\cdotp\cdotp}}
1059 \DeclareRobustCommand
1060   \vdots{\vbox{\baselineskip4\p@ \lineskiplimit\z@
1061     \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
1062 \DeclareRobustCommand
1063   \ddots{\mathinner{\mkern1mu\raise7\p@
1064     \vbox{\kern7\p@\hbox{.}}\mkern2mu
1065     \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu}}
1066 %    \end{macrocode}
1069 % \subsubsection{Math accents}
1071 %    \begin{macrocode}
1072 \DeclareMathAccent{\acute}{\mathalpha}{operators}{"13}
1073 \DeclareMathAccent{\grave}{\mathalpha}{operators}{"12}
1074 \DeclareMathAccent{\ddot}{\mathalpha}{operators}{"7F}
1075 \DeclareMathAccent{\tilde}{\mathalpha}{operators}{"7E}
1076 \DeclareMathAccent{\bar}{\mathalpha}{operators}{"16}
1077 \DeclareMathAccent{\breve}{\mathalpha}{operators}{"15}
1078 \DeclareMathAccent{\check}{\mathalpha}{operators}{"14}
1079 \DeclareMathAccent{\hat}{\mathalpha}{operators}{"5E}
1080 \DeclareMathAccent{\vec}{\mathord}{letters}{"7E}
1081 \DeclareMathAccent{\dot}{\mathalpha}{operators}{"5F}
1082 \DeclareMathAccent{\widetilde}{\mathord}{largesymbols}{"65}
1083 \DeclareMathAccent{\widehat}{\mathord}{largesymbols}{"62}
1084 %    \end{macrocode}
1085 %    For some reason plain \TeX{} never bothered to provide
1086 %    a ring accent in math (although it is available in the fonts),
1087 %    but since we got a request for it here we go:
1088 % \changes{v2.2t}{1998/04/11}{Added \cs{mathring} accent (pr2785)}
1089 %    \begin{macrocode}
1090 \DeclareMathAccent{\mathring}{\mathalpha}{operators}{"17}
1091 %    \end{macrocode}
1094 % \subsubsection{Radicals}
1096 % \changes{v2.2o}{1996/05/17}{\cs{@@sqrt} removed, at last}
1097 %    \begin{macrocode}
1098 \DeclareMathRadical{\sqrtsign}{symbols}{"70}{largesymbols}{"70}
1099 %    \end{macrocode}
1102 % \subsubsection{Over and under something, etc}
1104 %    \begin{macrocode}
1105 \def\overrightarrow#1{\vbox{\m@th\ialign{##\crcr
1106       \rightarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
1107       $\hfil\displaystyle{#1}\hfil$\crcr}}}
1108 \def\overleftarrow#1{\vbox{\m@th\ialign{##\crcr
1109       \leftarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}%
1110       $\hfil\displaystyle{#1}\hfil$\crcr}}}
1111 \def\overbrace#1{\mathop{\vbox{\m@th\ialign{##\crcr\noalign{\kern3\p@}%
1112       \downbracefill\crcr\noalign{\kern3\p@\nointerlineskip}%
1113       $\hfil\displaystyle{#1}\hfil$\crcr}}}\limits}
1114 \def\underbrace#1{\mathop{\vtop{\m@th\ialign{##\crcr
1115    $\hfil\displaystyle{#1}\hfil$\crcr
1116    \noalign{\kern3\p@\nointerlineskip}%
1117    \upbracefill\crcr\noalign{\kern3\p@}}}}\limits}
1118 %    \end{macrocode}
1119 %    (quite a waste of tokens, IMHO --- Frank)
1120 %    \begin{macrocode}
1121 \def\skew#1#2#3{{\muskip\z@#1mu\divide\muskip\z@\tw@ \mkern\muskip\z@
1122     #2{\mkern-\muskip\z@{#3}\mkern\muskip\z@}\mkern-\muskip\z@}{}}
1123 %    \end{macrocode}
1125 % \changes{v2.2n}{1995/11/21}{Incorporate changed figures,
1126 %                              as in plain.tex}
1127 %    \begin{macrocode}
1128 \def\rightarrowfill{$\m@th\smash-\mkern-7mu%
1129   \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
1130   \mkern-7mu\mathord\rightarrow$}
1131 \def\leftarrowfill{$\m@th\mathord\leftarrow\mkern-7mu%
1132   \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
1133   \mkern-7mu\smash-$}
1134 \DeclareMathSymbol{\braceld}{\mathord}{largesymbols}{"7A}
1135 \DeclareMathSymbol{\bracerd}{\mathord}{largesymbols}{"7B}
1136 \DeclareMathSymbol{\bracelu}{\mathord}{largesymbols}{"7C}
1137 \DeclareMathSymbol{\braceru}{\mathord}{largesymbols}{"7D}
1138 \def\downbracefill{$\m@th \setbox\z@\hbox{$\braceld$}%
1139   \braceld\leaders\vrule \@height\ht\z@ \@depth\z@\hfill\braceru
1140   \bracelu\leaders\vrule \@height\ht\z@ \@depth\z@\hfill\bracerd$}
1141 \def\upbracefill{$\m@th \setbox\z@\hbox{$\braceld$}%
1142   \bracelu\leaders\vrule \@height\ht\z@ \@depth\z@\hfill\bracerd
1143   \braceld\leaders\vrule \@height\ht\z@ \@depth\z@\hfill\braceru$}
1144 %    \end{macrocode}
1146 % \subsubsection{Delimiters}
1148 %    \begin{macrocode}
1149 \DeclareMathDelimiter{\lmoustache}   % top from (, bottom from )
1150    {\mathopen}{largesymbols}{"7A}{largesymbols}{"40}
1151 \DeclareMathDelimiter{\rmoustache}   % top from ), bottom from (
1152    {\mathclose}{largesymbols}{"7B}{largesymbols}{"41}
1153 \DeclareMathDelimiter{\arrowvert}    % arrow without arrowheads
1154    {\mathord}{symbols}{"6A}{largesymbols}{"3C}
1155 \DeclareMathDelimiter{\Arrowvert}    % double arrow without arrowheads
1156    {\mathord}{symbols}{"6B}{largesymbols}{"3D}
1157 \DeclareMathDelimiter{\Vert}
1158    {\mathord}{symbols}{"6B}{largesymbols}{"0D}
1159 \let\|=\Vert
1160 \DeclareMathDelimiter{\vert}
1161    {\mathord}{symbols}{"6A}{largesymbols}{"0C}
1162 \DeclareMathDelimiter{\uparrow}
1163    {\mathrel}{symbols}{"22}{largesymbols}{"78}
1164 \DeclareMathDelimiter{\downarrow}
1165    {\mathrel}{symbols}{"23}{largesymbols}{"79}
1166 \DeclareMathDelimiter{\updownarrow}
1167    {\mathrel}{symbols}{"6C}{largesymbols}{"3F}
1168 \DeclareMathDelimiter{\Uparrow}
1169    {\mathrel}{symbols}{"2A}{largesymbols}{"7E}
1170 \DeclareMathDelimiter{\Downarrow}
1171    {\mathrel}{symbols}{"2B}{largesymbols}{"7F}
1172 \DeclareMathDelimiter{\Updownarrow}
1173    {\mathrel}{symbols}{"6D}{largesymbols}{"77}
1174 \DeclareMathDelimiter{\backslash}    % for double coset G\backslash H
1175    {\mathord}{symbols}{"6E}{largesymbols}{"0F}
1176 \DeclareMathDelimiter{\rangle}
1177    {\mathclose}{symbols}{"69}{largesymbols}{"0B}
1178 \DeclareMathDelimiter{\langle}
1179    {\mathopen}{symbols}{"68}{largesymbols}{"0A}
1180 \DeclareMathDelimiter{\rbrace}
1181    {\mathclose}{symbols}{"67}{largesymbols}{"09}
1182 \DeclareMathDelimiter{\lbrace}
1183    {\mathopen}{symbols}{"66}{largesymbols}{"08}
1184 \DeclareMathDelimiter{\rceil}
1185    {\mathclose}{symbols}{"65}{largesymbols}{"07}
1186 \DeclareMathDelimiter{\lceil}
1187    {\mathopen}{symbols}{"64}{largesymbols}{"06}
1188 \DeclareMathDelimiter{\rfloor}
1189    {\mathclose}{symbols}{"63}{largesymbols}{"05}
1190 \DeclareMathDelimiter{\lfloor}
1191    {\mathopen}{symbols}{"62}{largesymbols}{"04}
1192 %    \end{macrocode}
1194 %  \begin{macro}{\lgroup}
1195 %  \begin{macro}{\rgroup}
1196 %  \begin{macro}{\bracevert}
1197 %    There are three plain \TeX{} delimiters which are not fully
1198 %    supported by NFSS, since they partly point into a bold cmr font.
1199 %    Allocating a full symbol font, just to have three delimiters
1200 %    seems a bit too much given the limited space available.  For this
1201 %    reason only the extensible sizes are supported.  If this is not
1202 %    desired one can use, without losing portability, define |\mathbf|
1203 %    and |\mathtt| as font symbol alphabet (setting up
1204 %    \texttt{cmr/bx/n} and \texttt{cmtt/m/n} as symbol fonts first)
1205 %    and modify the delimiter declarations to point with their
1206 %    small variant to those symbol fonts. (This is done in
1207 %    \texttt{oldlfont.dtx} so look there for examples.)
1208 %    \begin{macrocode}
1209 \DeclareMathDelimiter{\lgroup} % extensible ( with sharper tips
1210      {\mathopen}{largesymbols}{"3A}{largesymbols}{"3A}
1211 \DeclareMathDelimiter{\rgroup} % extensible ) with sharper tips
1212      {\mathclose}{largesymbols}{"3B}{largesymbols}{"3B}
1213 \DeclareMathDelimiter{\bracevert} % the vertical bar that extends braces
1214      {\mathord}{largesymbols}{"3E}{largesymbols}{"3E}
1215 %    \end{macrocode}
1216 %  \end{macro}
1217 %  \end{macro}
1218 %  \end{macro}
1220 % \subsection{Math versions of text commands}
1222 % \changes{v2.2k}{1995/06/05}{Moved math commands from ltoutenc.dtx.}
1224 % The |\mathunderscore| here is really a text definition, so it has
1225 % been put back into |ltoutenc.dtx| (by Chris, 30/04/97) and should
1226 % be removed from here.
1228 % These symbols are the math versions of text commands such as |\P|,
1229 % |\$|, etc.
1230 % \begin{macro}{\mathparagraph}
1231 % \changes{v2.2q}{1997/01/08}
1232 %     {Define using \cs{DeclareMathSymbol}}
1233 % \begin{macro}{\mathsection}
1234 % \begin{macro}{\mathdollar}
1235 % \begin{macro}{\mathsterling}
1236 % \begin{macro}{\mathunderscore}
1237 %    These math symbols are not in plain \TeX.
1238 %    \begin{macrocode}
1239 \DeclareMathSymbol{\mathparagraph}{\mathord}{symbols}{"7B}
1240 \DeclareMathSymbol{\mathsection}{\mathord}{symbols}{"78}
1241 \DeclareMathSymbol{\mathdollar}{\mathord}{operators}{"24}
1242 %    \end{macrocode}
1244 %    \begin{macrocode}
1245 \def\mathsterling{\mathit{\mathchar"7024}}
1246 \def\mathunderscore{\kern.06em\vbox{\hrule\@width.3em}}
1247 %    \end{macrocode}
1248 % \end{macro}
1249 % \end{macro}
1250 % \end{macro}
1251 % \end{macro}
1252 % \end{macro}
1254 % \begin{macro}{\mathellipsis}
1255 %    This is plain \TeX's |\ldots|.
1256 %    \begin{macrocode}
1257 \def\mathellipsis{\mathinner{\ldotp\ldotp\ldotp}}%
1258 %    \end{macrocode}
1259 % \end{macro}
1261 % \subsection{Other special functions and parameters}
1263 % \subsubsection{Biggggg}
1265 %    \begin{macrocode}
1266 \def\big#1{{\hbox{$\left#1\vbox to8.5\p@{}\right.\n@space$}}}
1267 \def\Big#1{{\hbox{$\left#1\vbox to11.5\p@{}\right.\n@space$}}}
1268 \def\bigg#1{{\hbox{$\left#1\vbox to14.5\p@{}\right.\n@space$}}}
1269 \def\Bigg#1{{\hbox{$\left#1\vbox to17.5\p@{}\right.\n@space$}}}
1270 \def\n@space{\nulldelimiterspace\z@ \m@th}
1271 %    \end{macrocode}
1275 % \subsubsection{The log-like functions}
1277 % \begin{macro}{\operator@font}
1278 %    The |\operator@font| determines the symbol font used for log-like
1279 %    functions.
1280 %    \begin{macrocode}
1281 \def\operator@font{\mathgroup\symoperators}
1282 %    \end{macrocode}
1283 %  \end{macro}
1286 % \subsubsection{Parameters}
1288 %    \begin{macrocode}
1289 \thinmuskip=3mu
1290 \medmuskip=4mu plus 2mu minus 4mu
1291 \thickmuskip=5mu plus 5mu
1292 %    \end{macrocode}
1295 %    This finishes the low-level setup in \texttt{fontmath.ltx}.
1296 %    \begin{macrocode}
1297 %</math>
1298 %    \end{macrocode}
1301 % \section{Default cfg files}
1303 %    We provide default \texttt{cfg} files here to ensure that
1304 %    on installations that search large file trees we do not pick up
1305 %    some strange customisation files from somewhere.
1306 % \changes{v2.2y}{2001/06/02}{Provide default cfg files (pr/3264)}
1307 %    \begin{macrocode}
1308 %<*cfgtext|cfgmath|cfgprel>
1312 %% Load the standard setup:
1314 %<+cfgtext>\input{fonttext.ltx}
1315 %<+cfgmath>\input{fontmath.ltx}
1316 %<+cfgprel>\input{preload.ltx}
1318 %% Small changes could go here; see documentation in cfgguide.tex for
1319 %% allowed modifications.
1321 %% In particular it is not allowed to misuse this configuration file
1322 %% to modify internal LaTeX commands!
1324 %% If you use this file as the basis for configuration please change
1325 %% the \ProvidesFile lines to clearly identify your modification, e.g.,
1327 %<+cfgtext>%%  \ProvidesFile{fonttext.cfg}[2001/06/01
1328 %<+cfgmath>%%  \ProvidesFile{fonttext.cfg}[2001/06/01
1329 %<+cfgprel>%%   \ProvidesFile{preload.cfg}[2001/06/01
1330 %%                              Customised local font setup]
1333 %</cfgtext|cfgmath|cfgprel>
1334 %    \end{macrocode}
1336 % \Finale
1338 \endinput