\message{brood LaTeX macro package}

\def\mathfont{\mathcal}

\def\TT{\mathfont{T}}  % target values
\def\WPT{W^p_\TT}      % target primitives
\def\WT{W_\TT}      % target words
\def\XT{X_\TT}      % target program string


\def\M{\mathfont{M}}  % meta values
\def\WM{W_\M}      % meta words
\def\XM{X_\M}      % meta program string
\def\XMc{\XM^{\text{c}}}    % compilable
\def\XMnc{\XM^{\text{nc}}}  % non-compilable

\def\C{\mathfont{C}}  % compilation state
\def\WC{W_\C}      % macros

\def\Fail{\{ f \}}     % failed compilation

\def\N{\mathfont{N}}
\def\M{\mathfont{M}}
\def\|{\text{ $|$ }}




\def\FD{F_\S}        % functions on stacks
\def\FDio{F_{\S_{io}}}

\def\arr{\to}

\def\T{T}    % set of tuples
\def\S{S}    % set of stacks

\def\CF{F}        % functional language category
\def\CW{W}        % CSL category

\def\snarf{\sigma}

\def\id{1}

