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.def < prev    next >
Encoding:
Text File  |  1996-10-12  |  4.0 KB  |  109 lines
  1. %% @texfile{
  2. %%     filename="amssym.def",
  3. %%     version="2.1",
  4. %%     date="5-APR-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="108",
  24. %%     keywords="amsfonts, tex",
  25. %%     abstract="This file contains definitions that perform the same
  26. %%            functions as similar ones in AMS-TeX, so that the file
  27. %%            AMSSYM.TEX can be used outside of AMS-TeX. Instructions
  28. %%            for using this file and the AMS symbol fonts are
  29. %%            included in the AMSFonts 2.0 User's Guide."
  30. %%     }
  31. %
  32. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  33. \expandafter\ifx\csname amssym.def\endcsname\relax \else\endinput\fi
  34. %
  35. %  Store the catcode of the @ in the csname so that it can be restored later.
  36. \expandafter\edef\csname amssym.def\endcsname{%
  37.        \catcode`\noexpand\@=\the\catcode`\@\space}
  38. %  Set the catcode to 11 for use in private control sequence names.
  39. \catcode`\@=11
  40. %
  41. %  Include all definitions related to the fonts msam, msbm and eufm, so that
  42. %  when this file is used by itself, the results with respect to those fonts
  43. %  are equivalent to what they would have been using AMS-TeX.
  44. %  Most symbols in fonts msam and msbm are defined using \newsymbol;
  45. %  however, a few symbols that replace composites defined in plain must be
  46. %  defined with \mathchardef.
  47.  
  48. \def\undefine#1{\let#1\undefined}
  49. \def\newsymbol#1#2#3#4#5{\let\next@\relax
  50.  \ifnum#2=\@ne\let\next@\msafam@\else
  51.  \ifnum#2=\tw@\let\next@\msbfam@\fi\fi
  52.  \mathchardef#1="#3\next@#4#5}
  53. \def\mathhexbox@#1#2#3{\relax
  54.  \ifmmode\mathpalette{}{\m@th\mathchar"#1#2#3}%
  55.  \else\leavevmode\hbox{$\m@th\mathchar"#1#2#3$}\fi}
  56. \def\hexnumber@#1{\ifcase#1 0\or 1\or 2\or 3\or 4\or 5\or 6\or 7\or 8\or
  57.  9\or A\or B\or C\or D\or E\or F\fi}
  58.  
  59. \font\tenmsa=msam10
  60. \font\sevenmsa=msam7
  61. \font\fivemsa=msam5
  62. \newfam\msafam
  63. \textfont\msafam=\tenmsa
  64. \scriptfont\msafam=\sevenmsa
  65. \scriptscriptfont\msafam=\fivemsa
  66. \edef\msafam@{\hexnumber@\msafam}
  67. \mathchardef\dabar@"0\msafam@39
  68. \def\dashrightarrow{\mathrel{\dabar@\dabar@\mathchar"0\msafam@4B}}
  69. \def\dashleftarrow{\mathrel{\mathchar"0\msafam@4C\dabar@\dabar@}}
  70. \let\dasharrow\dashrightarrow
  71. \def\ulcorner{\delimiter"4\msafam@70\msafam@70 }
  72. \def\urcorner{\delimiter"5\msafam@71\msafam@71 }
  73. \def\llcorner{\delimiter"4\msafam@78\msafam@78 }
  74. \def\lrcorner{\delimiter"5\msafam@79\msafam@79 }
  75. \def\yen{{\mathhexbox@\msafam@55 }}
  76. \def\checkmark{{\mathhexbox@\msafam@58 }}
  77. \def\circledR{{\mathhexbox@\msafam@72 }}
  78. \def\maltese{{\mathhexbox@\msafam@7A }}
  79.  
  80. \font\tenmsb=msbm10
  81. \font\sevenmsb=msbm7
  82. \font\fivemsb=msbm5
  83. \newfam\msbfam
  84. \textfont\msbfam=\tenmsb
  85. \scriptfont\msbfam=\sevenmsb
  86. \scriptscriptfont\msbfam=\fivemsb
  87. \edef\msbfam@{\hexnumber@\msbfam}
  88. \def\Bbb#1{{\fam\msbfam\relax#1}}
  89. \def\widehat#1{\setbox\z@\hbox{$\m@th#1$}%
  90.  \ifdim\wd\z@>\tw@ em\mathaccent"0\msbfam@5B{#1}%
  91.  \else\mathaccent"0362{#1}\fi}
  92. \def\widetilde#1{\setbox\z@\hbox{$\m@th#1$}%
  93.  \ifdim\wd\z@>\tw@ em\mathaccent"0\msbfam@5D{#1}%
  94.  \else\mathaccent"0365{#1}\fi}
  95. \font\teneufm=eufm10
  96. \font\seveneufm=eufm7
  97. \font\fiveeufm=eufm5
  98. \newfam\eufmfam
  99. \textfont\eufmfam=\teneufm
  100. \scriptfont\eufmfam=\seveneufm
  101. \scriptscriptfont\eufmfam=\fiveeufm
  102. \def\frak#1{{\fam\eufmfam\relax#1}}
  103. \let\goth\frak
  104.  
  105. %  Restore the catcode value for @ that was previously saved.
  106. \csname amssym.def\endcsname
  107.  
  108. \endinput
  109.