home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / unixtex-6.1b-bin0.lha / lib / texmf / tex / ams / amssym.tex < prev    next >
Text File  |  1996-10-12  |  9KB  |  280 lines

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