You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
242 lines
6.8 KiB
242 lines
6.8 KiB
%%% ====================================================================
|
|
%%% amssym.tex + pxfonts (JM+SW) 09.03.2001. Public domain
|
|
%%% Macros borowed from amssym.tex ver. 2.2b by American Mathematical Society
|
|
%%% This file must not be changed. However, if you do make changes,
|
|
%%% you first rename it to some other name.
|
|
%%% ====================================================================
|
|
%% We store the catcode of the @ in the csname.
|
|
\expandafter\chardef\csname pre amsqpx.tex at\endcsname=\the\catcode`\@
|
|
%% Set the catcode to 11 for use in private control sequence names.
|
|
\catcode`\@=11
|
|
%% Load amsqpx.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.
|
|
\ifx\undefined\newsymbol \else \begingroup\def\input#1 {\endgroup}\fi
|
|
\input amsqpx.def \relax
|
|
%% Most symbols in fonts pxsya and pxsyb 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 amsqpx.tex at\endcsname
|
|
|
|
\endinput
|
|
|