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