123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289 |
- %%% ====================================================================
- %%% @TeX-file{
- %%% filename = "amssym.tex",
- %%% version = "2.2",
- %%% date = "22-Dec-1994",
- %%% time = "10:06:33 EST",
- %%% checksum = "41516 282 863 9138",
- %%% author = "American Mathematical Society",
- %%% copyright = "Copyright (C) 1994 American Mathematical Society,
- %%% all rights reserved. Copying of this file is
- %%% authorized only if either:
- %%% (1) you make absolutely no changes to your copy,
- %%% including name; OR
- %%% (2) if you do make changes, you first rename it
- %%% to some other name.",
- %%% address = "American Mathematical Society,
- %%% Technical Support,
- %%% Electronic Products and Services,
- %%% P. O. Box 6248,
- %%% Providence, RI 02940,
- %%% USA",
- %%% telephone = "401-455-4080 or (in the USA and Canada)
- %%% 800-321-4AMS (321-4267)",
- %%% FAX = "401-331-3842",
- %%% email = "[email protected] (Internet)",
- %%% codetable = "ISO/ASCII",
- %%% keywords = "amsfonts, msam, msbm, math symbols",
- %%% supported = "yes",
- %%% abstract = "This is part of the AMSFonts distribution,
- %%% It is the plain TeX source file for the
- %%% AMSFonts user's guide.",
- %%% docstring = "The checksum field above contains a CRC-16
- %%% checksum as the first value, followed by the
- %%% equivalent of the standard UNIX wc (word
- %%% count) utility output of lines, words, and
- %%% characters. This is produced by Robert
- %%% Solovay's checksum utility.",
- %%% }
- %%% ====================================================================
- %% Save the current value of the @-sign catcode so that it can
- %% be restored afterwards. This allows us to call amssym.tex
- %% either within an AMS-TeX document style file or by itself, in
- %% addition to providing a means of testing whether the file has
- %% been previously loaded. We want to avoid inputting this file
- %% twice because when AMSTeX is being used \newsymbol will give an
- %% error message if used to define a control sequence name that is
- %% already defined.
- %%
- %% If the csname is not equal to \relax, we assume this file has
- %% already been loaded and \endinput immediately.
- \expandafter\ifx\csname pre amssym.tex at\endcsname\relax \else \endinput\fi
- %% Otherwise we store the catcode of the @ in the csname.
- \expandafter\chardef\csname pre amssym.tex at\endcsname=\the\catcode`\@
- %% Set the catcode to 11 for use in private control sequence names.
- \catcode`\@=11
- %% Load amssym.def if necessary: If \newsymbol is undefined, do nothing
- %% and the following \input statement will be executed; otherwise
- %% change \input to a temporary no-op.
- \begingroup\ifx\undefined\newsymbol \else\def\input#1 {\endgroup}\fi
- \input amssym.def \relax
- %% Most symbols in fonts msam and msbm are defined using \newsymbol. A few
- %% that are delimiters or otherwise require special treatment have already
- %% been defined as soon as the fonts were loaded. Finally, a few symbols
- %% that replace composites defined in plain must be undefined first.
- \newsymbol\boxdot 1200
- \newsymbol\boxplus 1201
- \newsymbol\boxtimes 1202
- \newsymbol\square 1003
- \newsymbol\blacksquare 1004
- \newsymbol\centerdot 1205
- \newsymbol\lozenge 1006
- \newsymbol\blacklozenge 1007
- \newsymbol\circlearrowright 1308
- \newsymbol\circlearrowleft 1309
- \undefine\rightleftharpoons
- \newsymbol\rightleftharpoons 130A
- \newsymbol\leftrightharpoons 130B
- \newsymbol\boxminus 120C
- \newsymbol\Vdash 130D
- \newsymbol\Vvdash 130E
- \newsymbol\vDash 130F
- \newsymbol\twoheadrightarrow 1310
- \newsymbol\twoheadleftarrow 1311
- \newsymbol\leftleftarrows 1312
- \newsymbol\rightrightarrows 1313
- \newsymbol\upuparrows 1314
- \newsymbol\downdownarrows 1315
- \newsymbol\upharpoonright 1316
- \let\restriction\upharpoonright
- \newsymbol\downharpoonright 1317
- \newsymbol\upharpoonleft 1318
- \newsymbol\downharpoonleft 1319
- \newsymbol\rightarrowtail 131A
- \newsymbol\leftarrowtail 131B
- \newsymbol\leftrightarrows 131C
- \newsymbol\rightleftarrows 131D
- \newsymbol\Lsh 131E
- \newsymbol\Rsh 131F
- \newsymbol\rightsquigarrow 1320
- \newsymbol\leftrightsquigarrow 1321
- \newsymbol\looparrowleft 1322
- \newsymbol\looparrowright 1323
- \newsymbol\circeq 1324
- \newsymbol\succsim 1325
- \newsymbol\gtrsim 1326
- \newsymbol\gtrapprox 1327
- \newsymbol\multimap 1328
- \newsymbol\therefore 1329
- \newsymbol\because 132A
- \newsymbol\doteqdot 132B
- \let\Doteq\doteqdot
- \newsymbol\triangleq 132C
- \newsymbol\precsim 132D
- \newsymbol\lesssim 132E
- \newsymbol\lessapprox 132F
- \newsymbol\eqslantless 1330
- \newsymbol\eqslantgtr 1331
- \newsymbol\curlyeqprec 1332
- \newsymbol\curlyeqsucc 1333
- \newsymbol\preccurlyeq 1334
- \newsymbol\leqq 1335
- \newsymbol\leqslant 1336
- \newsymbol\lessgtr 1337
- \newsymbol\backprime 1038
- \newsymbol\risingdotseq 133A
- \newsymbol\fallingdotseq 133B
- \newsymbol\succcurlyeq 133C
- \newsymbol\geqq 133D
- \newsymbol\geqslant 133E
- \newsymbol\gtrless 133F
- \newsymbol\sqsubset 1340
- \newsymbol\sqsupset 1341
- \newsymbol\vartriangleright 1342
- \newsymbol\vartriangleleft 1343
- \newsymbol\trianglerighteq 1344
- \newsymbol\trianglelefteq 1345
- \newsymbol\bigstar 1046
- \newsymbol\between 1347
- \newsymbol\blacktriangledown 1048
- \newsymbol\blacktriangleright 1349
- \newsymbol\blacktriangleleft 134A
- \newsymbol\vartriangle 134D
- \newsymbol\blacktriangle 104E
- \newsymbol\triangledown 104F
- \newsymbol\eqcirc 1350
- \newsymbol\lesseqgtr 1351
- \newsymbol\gtreqless 1352
- \newsymbol\lesseqqgtr 1353
- \newsymbol\gtreqqless 1354
- \newsymbol\Rrightarrow 1356
- \newsymbol\Lleftarrow 1357
- \newsymbol\veebar 1259
- \newsymbol\barwedge 125A
- \newsymbol\doublebarwedge 125B
- \undefine\angle
- \newsymbol\angle 105C
- \newsymbol\measuredangle 105D
- \newsymbol\sphericalangle 105E
- \newsymbol\varpropto 135F
- \newsymbol\smallsmile 1360
- \newsymbol\smallfrown 1361
- \newsymbol\Subset 1362
- \newsymbol\Supset 1363
- \newsymbol\Cup 1264
- \let\doublecup\Cup
- \newsymbol\Cap 1265
- \let\doublecap\Cap
- \newsymbol\curlywedge 1266
- \newsymbol\curlyvee 1267
- \newsymbol\leftthreetimes 1268
- \newsymbol\rightthreetimes 1269
- \newsymbol\subseteqq 136A
- \newsymbol\supseteqq 136B
- \newsymbol\bumpeq 136C
- \newsymbol\Bumpeq 136D
- \newsymbol\lll 136E
- \let\llless\lll
- \newsymbol\ggg 136F
- \let\gggtr\ggg
- \newsymbol\circledS 1073
- \newsymbol\pitchfork 1374
- \newsymbol\dotplus 1275
- \newsymbol\backsim 1376
- \newsymbol\backsimeq 1377
- \newsymbol\complement 107B
- \newsymbol\intercal 127C
- \newsymbol\circledcirc 127D
- \newsymbol\circledast 127E
- \newsymbol\circleddash 127F
- \newsymbol\lvertneqq 2300
- \newsymbol\gvertneqq 2301
- \newsymbol\nleq 2302
- \newsymbol\ngeq 2303
- \newsymbol\nless 2304
- \newsymbol\ngtr 2305
- \newsymbol\nprec 2306
- \newsymbol\nsucc 2307
- \newsymbol\lneqq 2308
- \newsymbol\gneqq 2309
- \newsymbol\nleqslant 230A
- \newsymbol\ngeqslant 230B
- \newsymbol\lneq 230C
- \newsymbol\gneq 230D
- \newsymbol\npreceq 230E
- \newsymbol\nsucceq 230F
- \newsymbol\precnsim 2310
- \newsymbol\succnsim 2311
- \newsymbol\lnsim 2312
- \newsymbol\gnsim 2313
- \newsymbol\nleqq 2314
- \newsymbol\ngeqq 2315
- \newsymbol\precneqq 2316
- \newsymbol\succneqq 2317
- \newsymbol\precnapprox 2318
- \newsymbol\succnapprox 2319
- \newsymbol\lnapprox 231A
- \newsymbol\gnapprox 231B
- \newsymbol\nsim 231C
- \newsymbol\ncong 231D
- \newsymbol\diagup 201E
- \newsymbol\diagdown 201F
- \newsymbol\varsubsetneq 2320
- \newsymbol\varsupsetneq 2321
- \newsymbol\nsubseteqq 2322
- \newsymbol\nsupseteqq 2323
- \newsymbol\subsetneqq 2324
- \newsymbol\supsetneqq 2325
- \newsymbol\varsubsetneqq 2326
- \newsymbol\varsupsetneqq 2327
- \newsymbol\subsetneq 2328
- \newsymbol\supsetneq 2329
- \newsymbol\nsubseteq 232A
- \newsymbol\nsupseteq 232B
- \newsymbol\nparallel 232C
- \newsymbol\nmid 232D
- \newsymbol\nshortmid 232E
- \newsymbol\nshortparallel 232F
- \newsymbol\nvdash 2330
- \newsymbol\nVdash 2331
- \newsymbol\nvDash 2332
- \newsymbol\nVDash 2333
- \newsymbol\ntrianglerighteq 2334
- \newsymbol\ntrianglelefteq 2335
- \newsymbol\ntriangleleft 2336
- \newsymbol\ntriangleright 2337
- \newsymbol\nleftarrow 2338
- \newsymbol\nrightarrow 2339
- \newsymbol\nLeftarrow 233A
- \newsymbol\nRightarrow 233B
- \newsymbol\nLeftrightarrow 233C
- \newsymbol\nleftrightarrow 233D
- \newsymbol\divideontimes 223E
- \newsymbol\varnothing 203F
- \newsymbol\nexists 2040
- \newsymbol\Finv 2060
- \newsymbol\Game 2061
- \newsymbol\mho 2066
- \newsymbol\eth 2067
- \newsymbol\eqsim 2368
- \newsymbol\beth 2069
- \newsymbol\gimel 206A
- \newsymbol\daleth 206B
- \newsymbol\lessdot 236C
- \newsymbol\gtrdot 236D
- \newsymbol\ltimes 226E
- \newsymbol\rtimes 226F
- \newsymbol\shortmid 2370
- \newsymbol\shortparallel 2371
- \newsymbol\smallsetminus 2272
- \newsymbol\thicksim 2373
- \newsymbol\thickapprox 2374
- \newsymbol\approxeq 2375
- \newsymbol\succapprox 2376
- \newsymbol\precapprox 2377
- \newsymbol\curvearrowleft 2378
- \newsymbol\curvearrowright 2379
- \newsymbol\digamma 207A
- \newsymbol\varkappa 207B
- \newsymbol\Bbbk 207C
- \newsymbol\hslash 207D
- \undefine\hbar
- \newsymbol\hbar 207E
- \newsymbol\backepsilon 237F
- % Restore the catcode value for @ that was previously saved.
- \catcode`\@=\csname pre amssym.tex at\endcsname
- \endinput
|