%% ----- Sample macro definition for plain TeX
%%
%%
%% ----- 1. Greek letters
%mdefine alpha          %\alpha %
%mdefine beta           %\beta %
%mdefine gamma          %\gamma %
%mdefine delta          %\delta %
%mdefine eps            %\varepsilon %
%mdefine zeta           %\zeta %
%mdefine theta          %\vartheta %
%mdefine kappa		%\kappa %
%mdefine lambda         %\lambda %
%mdefine mu		%\mu %
%mdefine nu		%\nu %
%mdefine xi		%\xi %
%mdefine pi             %\pi %
%mdefine phi            %\varphi %
%mdefine psi            %\psi %
%mdefine rho            %\varrho %
%mdefine sigma          %\sigma %
%mdefine tau		%\tau %
%mdefine chi		%\chi %
%mdefine omega          %\omega %
%mdefine GAMMA          %\Gamma %
%mdefine DELTA          %\Delta %
%mdefine LAMBDA         %\Lambda %
%mdefine PHI            %\Phi %
%mdefine PSI		%\Psi %
%mdefine SIGMA          %\Sigma %
%mdefine OMEGA		%\Omega %
%%
%% ----- 2. Boxes
%define   \hbox #1 {#2}     %\hbox #1{#2}%
%plainpar \hbox
%define   \vtop #1 {#2}     %\vtop #1{#2}%
%plainpar \vtop
%define   \vcenter #1 {#2}  %\vcenter #1{#2}%
%plainpar \vcenter
%define   \vbox #1 {#2}     %\vbox #1{#2}%
%plainpar \vbox
%define   \mbox #1      %\mbox{#1}%
%plainpar \mbox
%%
%% ----- 3. Mathematical function names
%mdefine log            %\log %
%mdefine sin            %\sin %
%mdefine cos            %\cos %
%mdefine mod            %\bmod %        as in "i mod 2"
%mdefine min		%\min %
%mdefine max		%\max %
%mdefine sups		%\sup %   since "a sup b" is the exponent
%%
%% ----- 4. Special symbols
%mdefine aleph          %\aleph %
%mdefine l              %\ell %         written ell
%mdefine ||             %\|%            norm sign
%mdefine oo             %\infty %       infinity
%mdefine not            %\neg %         negation sign
%mdefine |_		%\lfloor %
%mdefine _|             %\rfloor %
%mdefine EMPTY		%\emptyset %	slashed zero
%mdefine ALL #1         %\forall #1 \>%
%mdefine EXISTS #1      %\exists #1 \>%
%% doubly written C,N,Q, and R letters
%mdefine IC		%\hbox{\hbox{C\hskip-0.5em\lower-0.1ex\
                \hbox{\vrule height1.34ex width0.07em}}\hskip0.50em}%
%mdefine IN             %\hbox{I\hskip-0.20em I\hskip-0.35em N}%
%mdefine IQ             %\hbox{\hbox{Q\hskip-0.525em\lower-0.097ex\
                \hbox{\vrule height1.47ex width0.07em}}\hskip0.50em}%
%mdefine IR             %\hbox{I\hskip-0.23em R}%
%%
%% ----- 5. Operators
%mdefine /\             %\wedge %
%mdefine \/             %\vee %
%mdefine +-             %\pm %
%mdefine |_|            %\sqsup %
%mdefine |^|            %\sqcap %
%mdefine ~=		%\approx %
%mdefine COMP           %\circ %        small circle (composition)
%mdefine CROSS          %\times %       cross for vectors
%mdefine BULL           %\bullet %      full small circle
%mdefine dot		%{\cdot}%	 centered dot (multiplication)
%mdefine union		%\cup %
%mdefine UNION		%\bigcup %
%mdefine meet		%\cap %
%mdefine MEET		%\bigcap %
%mdefine SUM		%\sum %
%%
%mdefine |`	%\hbox{$|\hskip-0.19em\lower0.5ex\hbox{${}^{{}^{\backslash}}$}$}%   restriction
%mdefine .+.            %\mathrel{\>+\hbox{\hskip-0.565em\
                \lower-1.8ex\hbox{.}}\hskip0.4em}%
%mdefine .-.            %\mathrel{\>-\hbox{\hskip-0.55em\
                \lower-1.2ex\hbox{.}}\hskip0.4em}%
%mdefine .=.            %\doteq %
%%
%% ----- 6. Relations
%mdefine ==             %\equiv %       equivalence
%mdefine !==            %\not\equiv %
%mdefine !=             %\not= %
%mdefine <=             %\leq %
%mdefine >=             %\geq %
%mdefine !<=            %\not\leq %
%mdefine !>=            %\not\geq %
%mdefine SUBS           %\subset %
%mdefine EXTS           %\supset %
%mdefine in             %\in %
%mdefine !in            %\notin %
%mdefine |--            %\vdash %
%mdefine !|--           %\not\vdash %
%mdefine |==            %\models %
%mdefine !|==           %\not\models %
%%
%% ----- 7. Arrows
%mdefine -->            %\rightarrow %
%mdefine --->		%\longrightarrow %
%mdefine <-->           %\leftrightarrow %
%mdefine <---		%\longleftarrow %
%mdefine <--		%\leftarrow %
%mdefine ==>		%\Rightarrow %
%mdefine ===>		%\Longrightarrow %
%mdefine <==>		%\Leftrightarrow %
%mdefine <==		%\Leftarrow %
%mdefine <===		%\Longleftarrow %
%mdefine |-->           %\mapsto %
%%
%% ----- 8. Miscellaneous
%mdefine ...            %\ldots %
%mdefine ...,           %\ldots,%
%mdefine ,...,          %,\ldots,%
%mdefine =def           % \>{\buildrel \rm def \over =} \> %
%mdefine <:             %\langle %
%mdefine :>             %\rangle %
%%
%mdefine #1 tilde       %\widetilde{#1}%
%mdefine #1 bar         %\overline{#1}%
%mdefine #1 hat         %\widehat{#1}%
%mdefine #1 vec         %\overrightarrow{#1}%
%mdefine sub #1         %_{#1}%
%mdefine sup #1         %^{#1}%
%%
\def\mydisplayformula#1#2{$$#2\leqno#1$$}
%define .EQ #1		%\def\lasteqno{#1}$$%
%define .EN		%\leqno\lasteqno$$%
%dispmode .EQ .EN
%mathpar .EQ
%%
%define LEMMA #1        %\proclaim Lemma #1 %
%define PROOF.          %\noindent{\bf Proof.} %
%define PROOF		%\noindent{\bf Proof} %
%define DEFINITION #1   %\bigskip\noindent{\bf Definition #1} %
%define THEOREM #1      %\proclaim Theorem #1 %
%define QED		% {\vrule height 7pt depth 1pt width 7pt} %
%mdefine iff            %\hbox{ iff }%