home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / misc / volume11 / texpp / part01 / macro.pp next >
Encoding:
Text File  |  1990-03-25  |  4.3 KB  |  134 lines
  1. %% ---- TeXpp macro definitions ----
  2. %% ----   for plain TeX files   ----
  3. %%
  4. %%  A macro definition should fit into a single line. If the definition is 
  5. %%  too long, we can continue after closing the line with a backslash....
  6. %%
  7. %% - 1.   Greek letters  ----
  8. %mdefine alpha        %\alpha %
  9. %mdefine beta        %\beta %
  10. %mdefine gamma        %\gamma %
  11. %mdefine delta        %\delta %
  12. %mdefine eps        %\varepsilon %
  13. %mdefine zeta        %\zeta %
  14. %mdefine eta        %\eta %
  15. %mdefine theta        %\vartheta %
  16. %mdefine iota        %\iota %
  17. %mdefine kappa        %\kappa %
  18. %mdefine pi        %\pi %
  19. %mdefine rho        %\varrho %
  20. %mdefine chi        %\chi %
  21. %mdefine phi        %\varphi %
  22. %mdefine psi        %\psi %
  23. %mdefine omega        %\omega %
  24. %mdefine GAMMA        %\Gamma %
  25. %mdefine DELTA        %\Delta %
  26. %mdefine LAMBDA        %\Lambda %
  27. %mdefine PHI        %\Phi %
  28. %mdefine SIGMA        %\Sigma %
  29. %%
  30. %% -2.   Mathematical functions names ----
  31. %mdefine log        %\log %
  32. %mdefine sin        %\sin %
  33. %mdefine cos        %\cos %
  34. %mdefine mod        %\bmod %        as in "i mod 2"
  35. %%
  36. %% -3.   Special symbols ----
  37. %mdefine aleph        %\aleph %
  38. %mdefine l        %\ell %            written letter
  39. %mdefine ||        %\|%            norm sign
  40. %mdefine oo        %\infty %        infinity
  41. %mdefine not        %\neg %            negation sign
  42. %mdefine EMPTY        %\emptyset %        slashed zero
  43. %mdefine o|o        %\clubsuit %
  44. %mdefine <>        %\diamondsuit %
  45. %%
  46. %%        doubly written C,N,Q and R letters for
  47. %%        complex, natural, rational and real numbers
  48. %mdefine IC        %\hbox{\hbox{C\hskip-0.5em\lower-0.1ex\
  49.            \hbox{\vrule height1.34ex width0.07em }}\hskip0.50em}%
  50.  
  51. %mdefine IN        %\hbox{I\hskip-0.20em I\hskip-0.35em N}%
  52. %mdefine IQ        %\hbox{\hbox{Q\hskip-0.525em\lower-0.097ex\
  53.             \hbox{\vrule height1.47ex width0.07em}}\hskip0.50em}%
  54. %mdefine IR        %\hbox{I\hskip-0.23em R}%
  55. %%
  56. %%        I don't like these thin signs, so I redefined them
  57. %%mdefine ALL #1    %\forall #1 \>%
  58. %%mdefine EXISTS #1    %\exists #1 \>%
  59. %mdefine ALL #1        %{\leavevmode\hbox{\rm V\kern-0.53em\
  60. \lower-.5ex\hbox{-}}\kern0.1em} #1 \>%
  61. %mdefine EXISTS #1    %{\Xi\kern-0.37em{\bf I}} #1 \>%
  62. %%
  63. %% -4.   Operators ----
  64. %mdefine /\        %\wedge %        and sign
  65. %mdefine _/\_         %\bigwedge%        big and sign
  66. %mdefine \/        %\vee %            or sign
  67. %mdefine ~\/~        %\bigvee %        big or sign
  68. %mdefine +-        %\pm %            plusminus
  69. %mdefine COMP        %\circ %        small circle (composition)
  70. %mdefine CROSS        %\times %        cross for vectors
  71. %mdefine BULL        %\bullet %        full small circle
  72. %mdefine dot        %\cdot %        centered dot (multiplication)
  73. %mdefine UNION        %\cup %            small union symbol
  74. %mdefine METS        %\cap %            small intersection symbol
  75. %%                        +/-/= sign and a dot on it
  76. %mdefine .+.        %{\mathrel{\> +\hbox{\hskip-0.565em\
  77. \lower-1.8ex\hbox{.}}\hskip0.4em}}%
  78. %mdefine .-.        %{\mathrel{\> -\hbox{\hskip-0.55em\
  79. \lower-1.2ex\hbox{.}}\hskip0.4em}}%
  80. %mdefine .=.        %\doteq %
  81. %%
  82. %% -5.   Relations ----
  83. %mdefine ==        %\equiv %        equivalence
  84. %mdefine !==        %\not\equiv %        slashed equivalence
  85. %mdefine !=        %\not= %        not equal
  86. %mdefine <=        %\leq %            less than or equal to
  87. %mdefine >=        %\geq %
  88. %mdefine SUBS        %\subset %        subset of
  89. %mdefine EXTS        %\supset %        extension of
  90. %mdefine in        %\in %            element
  91. %mdefine !in        %\notin% %        not an element
  92. %mdefine |--        %\vdash %        proves
  93. %mdefine !|--        %\not\vdash %        not proves
  94. %mdefine |==        %\models %        semantically follows
  95. %mdefine !|==        %\not\models %
  96. %%
  97. %% -6.   Arrows ----
  98. %mdefine -->        %\rightarrow %
  99. %mdefine <-->        %\leftrightarrow %
  100. %mdefine <--        %\leftarrow %
  101. %mdefine ==>        %\Rightarrow %
  102. %mdefine <==>        %\Leftrightarrow %
  103. %mdefine ==>        %\Rightarrow %
  104. %mdefine |-->        %\mapsto %
  105. %%
  106. %% -7.   Miscellaneous ----
  107. %mdefine ...        %\ldots %        ellipsis
  108. %mdefine ...,        %\ldots,%        dots followed by a comma
  109. %mdefine =def        % \>{\buildrel \rm def \over =}\> %
  110. %mdefine <:        %\langle %        left angular bracket
  111. %mdefine :>        %\rangle %        right angular bracket
  112. %mdefine [[        %[\![%            double open [
  113. %mdefine ]]        %]\!]%            double closing ]
  114. %%
  115. %mdefine #1 tilde    %\widetilde{#1}%    put a tilde 
  116. %mdefine #1 bar        %\overline{#1}%        put a line over
  117. %mdefine #1 hat        %\wildehat{#1}%        put a hat (^)
  118. %mdefine #1 vec        %\overrightarrow{#1}%    put a --> at the top
  119. %mdefine sub #1        %_{#1}%            for a subscript
  120. %mdefine sup #1        %^{#1}%            for a superscript
  121. %%
  122. \def\mydisplayformula#1#2{ $$ #2 \leqno #1 $$}
  123. %define .EQ #1        %\mydisplayformula{#1}{%
  124. %define .EN        %}%
  125. %dispmode .EQ .EN
  126. %%
  127. %define LEMMA #1    %\proclaim Lemma #1 %
  128. %define PROOF.        %\noindent{\bf Proof.} %
  129. %define THEOREM #1    %\proclaim Theorem #1 %
  130. %define QED        % {\vrule height 7pt depth 1pt width 7pt} % back box
  131. %mdefine iff        %{\ \ \rm iff \ \ }%
  132.  
  133.  
  134.