amssym.tex 9.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289
  1. %%% ====================================================================
  2. %%% @TeX-file{
  3. %%% filename = "amssym.tex",
  4. %%% version = "2.2",
  5. %%% date = "22-Dec-1994",
  6. %%% time = "10:06:33 EST",
  7. %%% checksum = "41516 282 863 9138",
  8. %%% author = "American Mathematical Society",
  9. %%% copyright = "Copyright (C) 1994 American Mathematical Society,
  10. %%% all rights reserved. Copying of this file is
  11. %%% authorized only if either:
  12. %%% (1) you make absolutely no changes to your copy,
  13. %%% including name; OR
  14. %%% (2) if you do make changes, you first rename it
  15. %%% to some other name.",
  16. %%% address = "American Mathematical Society,
  17. %%% Technical Support,
  18. %%% Electronic Products and Services,
  19. %%% P. O. Box 6248,
  20. %%% Providence, RI 02940,
  21. %%% USA",
  22. %%% telephone = "401-455-4080 or (in the USA and Canada)
  23. %%% 800-321-4AMS (321-4267)",
  24. %%% FAX = "401-331-3842",
  25. %%% email = "[email protected] (Internet)",
  26. %%% codetable = "ISO/ASCII",
  27. %%% keywords = "amsfonts, msam, msbm, math symbols",
  28. %%% supported = "yes",
  29. %%% abstract = "This is part of the AMSFonts distribution,
  30. %%% It is the plain TeX source file for the
  31. %%% AMSFonts user's guide.",
  32. %%% docstring = "The checksum field above contains a CRC-16
  33. %%% checksum as the first value, followed by the
  34. %%% equivalent of the standard UNIX wc (word
  35. %%% count) utility output of lines, words, and
  36. %%% characters. This is produced by Robert
  37. %%% Solovay's checksum utility.",
  38. %%% }
  39. %%% ====================================================================
  40. %% Save the current value of the @-sign catcode so that it can
  41. %% be restored afterwards. This allows us to call amssym.tex
  42. %% either within an AMS-TeX document style file or by itself, in
  43. %% addition to providing a means of testing whether the file has
  44. %% been previously loaded. We want to avoid inputting this file
  45. %% twice because when AMSTeX is being used \newsymbol will give an
  46. %% error message if used to define a control sequence name that is
  47. %% already defined.
  48. %%
  49. %% If the csname is not equal to \relax, we assume this file has
  50. %% already been loaded and \endinput immediately.
  51. \expandafter\ifx\csname pre amssym.tex at\endcsname\relax \else \endinput\fi
  52. %% Otherwise we store the catcode of the @ in the csname.
  53. \expandafter\chardef\csname pre amssym.tex at\endcsname=\the\catcode`\@
  54. %% Set the catcode to 11 for use in private control sequence names.
  55. \catcode`\@=11
  56. %% Load amssym.def if necessary: If \newsymbol is undefined, do nothing
  57. %% and the following \input statement will be executed; otherwise
  58. %% change \input to a temporary no-op.
  59. \begingroup\ifx\undefined\newsymbol \else\def\input#1 {\endgroup}\fi
  60. \input amssym.def \relax
  61. %% Most symbols in fonts msam and msbm are defined using \newsymbol. A few
  62. %% that are delimiters or otherwise require special treatment have already
  63. %% been defined as soon as the fonts were loaded. Finally, a few symbols
  64. %% that replace composites defined in plain must be undefined first.
  65. \newsymbol\boxdot 1200
  66. \newsymbol\boxplus 1201
  67. \newsymbol\boxtimes 1202
  68. \newsymbol\square 1003
  69. \newsymbol\blacksquare 1004
  70. \newsymbol\centerdot 1205
  71. \newsymbol\lozenge 1006
  72. \newsymbol\blacklozenge 1007
  73. \newsymbol\circlearrowright 1308
  74. \newsymbol\circlearrowleft 1309
  75. \undefine\rightleftharpoons
  76. \newsymbol\rightleftharpoons 130A
  77. \newsymbol\leftrightharpoons 130B
  78. \newsymbol\boxminus 120C
  79. \newsymbol\Vdash 130D
  80. \newsymbol\Vvdash 130E
  81. \newsymbol\vDash 130F
  82. \newsymbol\twoheadrightarrow 1310
  83. \newsymbol\twoheadleftarrow 1311
  84. \newsymbol\leftleftarrows 1312
  85. \newsymbol\rightrightarrows 1313
  86. \newsymbol\upuparrows 1314
  87. \newsymbol\downdownarrows 1315
  88. \newsymbol\upharpoonright 1316
  89. \let\restriction\upharpoonright
  90. \newsymbol\downharpoonright 1317
  91. \newsymbol\upharpoonleft 1318
  92. \newsymbol\downharpoonleft 1319
  93. \newsymbol\rightarrowtail 131A
  94. \newsymbol\leftarrowtail 131B
  95. \newsymbol\leftrightarrows 131C
  96. \newsymbol\rightleftarrows 131D
  97. \newsymbol\Lsh 131E
  98. \newsymbol\Rsh 131F
  99. \newsymbol\rightsquigarrow 1320
  100. \newsymbol\leftrightsquigarrow 1321
  101. \newsymbol\looparrowleft 1322
  102. \newsymbol\looparrowright 1323
  103. \newsymbol\circeq 1324
  104. \newsymbol\succsim 1325
  105. \newsymbol\gtrsim 1326
  106. \newsymbol\gtrapprox 1327
  107. \newsymbol\multimap 1328
  108. \newsymbol\therefore 1329
  109. \newsymbol\because 132A
  110. \newsymbol\doteqdot 132B
  111. \let\Doteq\doteqdot
  112. \newsymbol\triangleq 132C
  113. \newsymbol\precsim 132D
  114. \newsymbol\lesssim 132E
  115. \newsymbol\lessapprox 132F
  116. \newsymbol\eqslantless 1330
  117. \newsymbol\eqslantgtr 1331
  118. \newsymbol\curlyeqprec 1332
  119. \newsymbol\curlyeqsucc 1333
  120. \newsymbol\preccurlyeq 1334
  121. \newsymbol\leqq 1335
  122. \newsymbol\leqslant 1336
  123. \newsymbol\lessgtr 1337
  124. \newsymbol\backprime 1038
  125. \newsymbol\risingdotseq 133A
  126. \newsymbol\fallingdotseq 133B
  127. \newsymbol\succcurlyeq 133C
  128. \newsymbol\geqq 133D
  129. \newsymbol\geqslant 133E
  130. \newsymbol\gtrless 133F
  131. \newsymbol\sqsubset 1340
  132. \newsymbol\sqsupset 1341
  133. \newsymbol\vartriangleright 1342
  134. \newsymbol\vartriangleleft 1343
  135. \newsymbol\trianglerighteq 1344
  136. \newsymbol\trianglelefteq 1345
  137. \newsymbol\bigstar 1046
  138. \newsymbol\between 1347
  139. \newsymbol\blacktriangledown 1048
  140. \newsymbol\blacktriangleright 1349
  141. \newsymbol\blacktriangleleft 134A
  142. \newsymbol\vartriangle 134D
  143. \newsymbol\blacktriangle 104E
  144. \newsymbol\triangledown 104F
  145. \newsymbol\eqcirc 1350
  146. \newsymbol\lesseqgtr 1351
  147. \newsymbol\gtreqless 1352
  148. \newsymbol\lesseqqgtr 1353
  149. \newsymbol\gtreqqless 1354
  150. \newsymbol\Rrightarrow 1356
  151. \newsymbol\Lleftarrow 1357
  152. \newsymbol\veebar 1259
  153. \newsymbol\barwedge 125A
  154. \newsymbol\doublebarwedge 125B
  155. \undefine\angle
  156. \newsymbol\angle 105C
  157. \newsymbol\measuredangle 105D
  158. \newsymbol\sphericalangle 105E
  159. \newsymbol\varpropto 135F
  160. \newsymbol\smallsmile 1360
  161. \newsymbol\smallfrown 1361
  162. \newsymbol\Subset 1362
  163. \newsymbol\Supset 1363
  164. \newsymbol\Cup 1264
  165. \let\doublecup\Cup
  166. \newsymbol\Cap 1265
  167. \let\doublecap\Cap
  168. \newsymbol\curlywedge 1266
  169. \newsymbol\curlyvee 1267
  170. \newsymbol\leftthreetimes 1268
  171. \newsymbol\rightthreetimes 1269
  172. \newsymbol\subseteqq 136A
  173. \newsymbol\supseteqq 136B
  174. \newsymbol\bumpeq 136C
  175. \newsymbol\Bumpeq 136D
  176. \newsymbol\lll 136E
  177. \let\llless\lll
  178. \newsymbol\ggg 136F
  179. \let\gggtr\ggg
  180. \newsymbol\circledS 1073
  181. \newsymbol\pitchfork 1374
  182. \newsymbol\dotplus 1275
  183. \newsymbol\backsim 1376
  184. \newsymbol\backsimeq 1377
  185. \newsymbol\complement 107B
  186. \newsymbol\intercal 127C
  187. \newsymbol\circledcirc 127D
  188. \newsymbol\circledast 127E
  189. \newsymbol\circleddash 127F
  190. \newsymbol\lvertneqq 2300
  191. \newsymbol\gvertneqq 2301
  192. \newsymbol\nleq 2302
  193. \newsymbol\ngeq 2303
  194. \newsymbol\nless 2304
  195. \newsymbol\ngtr 2305
  196. \newsymbol\nprec 2306
  197. \newsymbol\nsucc 2307
  198. \newsymbol\lneqq 2308
  199. \newsymbol\gneqq 2309
  200. \newsymbol\nleqslant 230A
  201. \newsymbol\ngeqslant 230B
  202. \newsymbol\lneq 230C
  203. \newsymbol\gneq 230D
  204. \newsymbol\npreceq 230E
  205. \newsymbol\nsucceq 230F
  206. \newsymbol\precnsim 2310
  207. \newsymbol\succnsim 2311
  208. \newsymbol\lnsim 2312
  209. \newsymbol\gnsim 2313
  210. \newsymbol\nleqq 2314
  211. \newsymbol\ngeqq 2315
  212. \newsymbol\precneqq 2316
  213. \newsymbol\succneqq 2317
  214. \newsymbol\precnapprox 2318
  215. \newsymbol\succnapprox 2319
  216. \newsymbol\lnapprox 231A
  217. \newsymbol\gnapprox 231B
  218. \newsymbol\nsim 231C
  219. \newsymbol\ncong 231D
  220. \newsymbol\diagup 201E
  221. \newsymbol\diagdown 201F
  222. \newsymbol\varsubsetneq 2320
  223. \newsymbol\varsupsetneq 2321
  224. \newsymbol\nsubseteqq 2322
  225. \newsymbol\nsupseteqq 2323
  226. \newsymbol\subsetneqq 2324
  227. \newsymbol\supsetneqq 2325
  228. \newsymbol\varsubsetneqq 2326
  229. \newsymbol\varsupsetneqq 2327
  230. \newsymbol\subsetneq 2328
  231. \newsymbol\supsetneq 2329
  232. \newsymbol\nsubseteq 232A
  233. \newsymbol\nsupseteq 232B
  234. \newsymbol\nparallel 232C
  235. \newsymbol\nmid 232D
  236. \newsymbol\nshortmid 232E
  237. \newsymbol\nshortparallel 232F
  238. \newsymbol\nvdash 2330
  239. \newsymbol\nVdash 2331
  240. \newsymbol\nvDash 2332
  241. \newsymbol\nVDash 2333
  242. \newsymbol\ntrianglerighteq 2334
  243. \newsymbol\ntrianglelefteq 2335
  244. \newsymbol\ntriangleleft 2336
  245. \newsymbol\ntriangleright 2337
  246. \newsymbol\nleftarrow 2338
  247. \newsymbol\nrightarrow 2339
  248. \newsymbol\nLeftarrow 233A
  249. \newsymbol\nRightarrow 233B
  250. \newsymbol\nLeftrightarrow 233C
  251. \newsymbol\nleftrightarrow 233D
  252. \newsymbol\divideontimes 223E
  253. \newsymbol\varnothing 203F
  254. \newsymbol\nexists 2040
  255. \newsymbol\Finv 2060
  256. \newsymbol\Game 2061
  257. \newsymbol\mho 2066
  258. \newsymbol\eth 2067
  259. \newsymbol\eqsim 2368
  260. \newsymbol\beth 2069
  261. \newsymbol\gimel 206A
  262. \newsymbol\daleth 206B
  263. \newsymbol\lessdot 236C
  264. \newsymbol\gtrdot 236D
  265. \newsymbol\ltimes 226E
  266. \newsymbol\rtimes 226F
  267. \newsymbol\shortmid 2370
  268. \newsymbol\shortparallel 2371
  269. \newsymbol\smallsetminus 2272
  270. \newsymbol\thicksim 2373
  271. \newsymbol\thickapprox 2374
  272. \newsymbol\approxeq 2375
  273. \newsymbol\succapprox 2376
  274. \newsymbol\precapprox 2377
  275. \newsymbol\curvearrowleft 2378
  276. \newsymbol\curvearrowright 2379
  277. \newsymbol\digamma 207A
  278. \newsymbol\varkappa 207B
  279. \newsymbol\Bbbk 207C
  280. \newsymbol\hslash 207D
  281. \undefine\hbar
  282. \newsymbol\hbar 207E
  283. \newsymbol\backepsilon 237F
  284. % Restore the catcode value for @ that was previously saved.
  285. \catcode`\@=\csname pre amssym.tex at\endcsname
  286. \endinput