home *** CD-ROM | disk | FTP | other *** search
/ Mega Top 1 / os2_top1.zip / os2_top1 / APPS / TEKST / TEXDISK / EMSY.ZIP / EMTEX / TEXINPUT / EMSYMB.STY next >
Text File  |  1990-02-21  |  3KB  |  93 lines

  1. % This is EMSYMB.STY
  2. % Version 1.0 [18-Aug-88]
  3. %
  4. % This document style option must be used before german.sty.
  5. %
  6. \newfam\emsyfam
  7.  
  8. {\def\hexnumber@#1{\ifnum#1<10 \number#1\else
  9.    \ifnum#1=10 A\else\ifnum#1=11 B\else\ifnum#1=12 C\else
  10.    \ifnum#1=13 D\else\ifnum#1=14 E\else\ifnum#1=15 F\fi\fi\fi\fi\fi\fi\fi}
  11.  \xdef\emsy@fam{\hexnumber@\emsyfam}}
  12.  
  13. \font\fivemsy=emsy5
  14. \font\sixemsy=emsy6
  15. \font\sevemsy=emsy7
  16. \font\egtemsy=emsy8
  17. \font\ninemsy=emsy9
  18. \font\tenemsy=emsy10
  19. \font\elvemsy=emsy10 \@halfmag
  20. \font\twlemsy=emsy10 \@magscale1
  21. \font\frtnemsy=emsy10 \@magscale2
  22. \font\svtnemsy=emsy10 \@magscale3
  23. \font\twtyemsy=emsy10 \@magscale4
  24. %\font\twfvemsy=emsy10 \@magscale5
  25.  
  26. \@addfontinfo\@vpt{%
  27.    \def\emsy{\fam\emsyfam\fivemsy}\textfont\emsyfam\fivemsy
  28.      \scriptfont\emsyfam\fivemsy \scriptscriptfont\emsyfam\fivemsy}
  29.  
  30. \@addfontinfo\@vipt{%
  31.    \def\emsy{\fam\emsyfam\sixemsy}\textfont\emsyfam\sixemsy
  32.      \scriptfont\emsyfam\sixemsy \scriptscriptfont\emsyfam\sixemsy}
  33.  
  34. \@addfontinfo\@viipt{%
  35.    \def\emsy{\fam\emsyfam\sevemsy}\textfont\emsyfam\sevemsy
  36.      \scriptfont\emsyfam\fivemsy \scriptscriptfont\emsyfam\fivemsy}
  37.  
  38. \@addfontinfo\@viiipt{%
  39.    \def\emsy{\fam\emsyfam\egtemsy}\textfont\emsyfam\egtemsy
  40.      \scriptfont\emsyfam\sixemsy \scriptscriptfont\emsyfam\fivemsy}
  41.  
  42. \@addfontinfo\@ixpt{%
  43.    \def\emsy{\fam\emsyfam\ninemsy}\textfont\emsyfam\ninemsy
  44.      \scriptfont\emsyfam\sixemsy \scriptscriptfont\emsyfam\fivemsy}
  45.  
  46. \@addfontinfo\@xpt{%
  47.    \def\emsy{\fam\emsyfam\tenemsy}\textfont\emsyfam\tenemsy
  48.      \scriptfont\emsyfam\sevemsy \scriptscriptfont\emsyfam\fivemsy}
  49.  
  50. \@addfontinfo\@xipt{%
  51.    \def\emsy{\fam\emsyfam\elvemsy}\textfont\emsyfam\elvemsy
  52.      \scriptfont\emsyfam\egtemsy \scriptscriptfont\emsyfam\sixemsy}
  53.  
  54. \@addfontinfo\@xiipt{%
  55.    \def\emsy{\fam\emsyfam\twlemsy}\textfont\emsyfam\twlemsy
  56.      \scriptfont\emsyfam\egtemsy \scriptscriptfont\emsyfam\sixemsy}
  57.  
  58. \@addfontinfo\@xivpt{%
  59.    \def\emsy{\fam\emsyfam\frtnemsy}\textfont\emsyfam\frtnemsy
  60.      \scriptfont\emsyfam\tenemsy \scriptscriptfont\emsyfam\sevemsy}
  61.  
  62. \@addfontinfo\@xviipt{%
  63.    \def\emsy{\fam\emsyfam\svtnemsy}\textfont\emsyfam\svtnemsy
  64.      \scriptfont\emsyfam\twlemsy   \scriptscriptfont\emsyfam\tenemsy}
  65.  
  66. \@addfontinfo\@xxpt{%
  67.   \def\emsy{\fam\emsyfam\twtyemsy}\textfont\emsyfam\twtyemsy
  68.      \scriptfont\emsyfam\frtnemsy \scriptscriptfont\emsyfam\twlemsy}
  69.  
  70. %\@addfontinfo\@xxvpt{%
  71. %  \def\emsy{\fam\emsyfam\twtyemsy}\textfont\emsyfam\twtyemsy
  72. %     \scriptfont\emsyfam\twtyemsy \scriptscriptfont\emsyfam\svtnemsy}
  73.  
  74.  
  75. \skewchar\fivemsy="00
  76. \skewchar\sixemsy="00
  77. \skewchar\sevemsy="00
  78. \skewchar\egtemsy="00
  79. \skewchar\ninemsy="00
  80. \skewchar\tenemsy="00
  81. \skewchar\elvemsy="00
  82. \skewchar\twlemsy="00
  83. \skewchar\frtnemsy="00
  84. \skewchar\svtnemsy="00
  85. \skewchar\twtyemsy="00
  86. % \skewchar\twfvemsy="00
  87.  
  88. \def\cev{\mathaccent"0\emsy@fam00 }       % vector accent (leftward arrow)
  89. \def\fatuparrow{\mathhexbox\emsy@fam10}   % fat upward arrow (shift key)
  90. \def\fatdownarrow{\mathhexbox\emsy@fam11} % fat downward arrow (lock key)
  91. \def\lefttriangle{\mathhexbox\emsy@fam12} % leftward black triangle
  92. \def\padlock{\mathhexbox\emsy@fam13}      % padlock (lock key)
  93.