Macros

These aid readability, save on repetitive typing and offer ways of producing stylistic variations on standard L^ATEX formats.

\def\bydefn{\stackrel{def}{=}}
\def\convf{\hbox{\space \raise-2mm\hbox{$\textstyle  
    \bigotimes \atop \scriptstyle \omega$} \space}}

produce $\stackrel{def}{=}$ and $\hbox{\space \raise-2mm\hbox{$\textstyle \bigotimes \atop \scriptstyle \omega$ } \space}$ when $\bydefn$ and $\convf$ are typed.