% <pre>
% The LAC HyperGuide
% Subdivision [latex-c=formacros-alt], main page, 2.8.1996
%-------------------------------------------------------

% Recommended Latex macros for the hyperguide.

%-------------------------------------------------------

% Formulae for actions and change:


%-------------------------------------------------------
% Formulae for actions and change:

\newcommand{\formula}[1]{ \\ \hspace*{10mm}$ #1 $}

\newcommand{\It}[1]{\mbox{{\it #1}}}
\newcommand{\Rm}[1]{\mbox{{\rm #1}}}
\newcommand{\Bf}[1]{\mbox{{\bf #1}}}
\newcommand{\Sf}[1]{\mbox{{\sf #1}}}
\newcommand{\Sc}[1]{\mbox{{\sc #1}}}
\newcommand{\Tt}[1]{\mbox{{\tt #1}}}

\newcommand{\V}[1]{\It{#1}}   % Variable
\newcommand{\C}[1]{\Sf{#1}}   % Ordinary constant (but not constant name)
\newcommand{\F}[1]{\It{#1}\:}   % Function name

% \newcommand{\Pp}[1]{\Tt{#1}}   % Property (Item) 


\newcommand{\On}[1]{\Tt{#1}}   % Object name
\newcommand{\Pn}[1]{\Sc{#1}}   % Proposition name
\newcommand{\Fn}[1]{\It{#1}}   % Feature name
\renewcommand{\Pr}[1]{\Sf{#1}}   % Property name (Item) 
\newcommand{\Cn}[1]{\Sf{#1}}   % Class name

\newcommand{\Ivl}[1]{ \lbivl #1 \rbivl }
\newcommand{\lbivl}{\Tt{[}}
\newcommand{\rbivl}{\Tt{]}}

\newcommand{\AAA}[1]{\Sf{A}(#1)}
\newcommand{\BB}[1]{\Sf{B}(#1)}
\newcommand{\DD}[1]{\Sf{D}(#1)}
\newcommand{\DDb}[1]{\Sf{D}_{\rm b}(#1)}
\newcommand{\DDc}[1]{\Sf{D}_{\rm c}(#1)}
\newcommand{\DDf}[1]{\Sf{D}_{\rm f}(#1)}
\newcommand{\DDn}[1]{\Sf{D}_{\rm n}(#1)}
\newcommand{\DDs}[1]{\Sf{D}_{\rm s}(#1)}
\newcommand{\GG}[1]{\Sf{G}(#1)}
\newcommand{\HH}[1]{\Sf{H}(#1)}
\newcommand{\PP}[1]{\Sf{P}(#1)}
\newcommand{\XX}[1]{\Sf{X}(#1)}

\newcommand{\HQ}{\mbox{{\Large{$\Box$}}}^h}
\newcommand{\BQ}{\mbox{{\Large{$\Box$}}}^b}

\newcommand{\Isa}{\Sf{Isa}}
\newcommand{\Is}{\Sf{Is}}
\newcommand{\Dj}{\Sf{Dj}}
\newcommand{\Div}{\Sf{Div}}
\newcommand{\Def}{\Sf{Def}}
\newcommand{\Subdiv}{\Sf{Subdiv}}
\newcommand{\Cdef}{\Sf{Cdef}}

\newcommand{\Aa}{\Sf{A}}
\newcommand{\Bb}{\Sf{B}}
\newcommand{\Dd}{\Sf{D}}
\newcommand{\Ddb}{\Sf{D}_{\rm b}}
\newcommand{\Ddc}{\Sf{D}_{\rm c}}
\newcommand{\Ddf}{\Sf{D}_{\rm f}}
\newcommand{\Ddn}{\Sf{D}_{\rm n}}
\newcommand{\Dds}{\Sf{D}_{\rm s}}
\newcommand{\Gg}{\Sf{G}}
\newcommand{\Hh}{\Sf{H}\,}
\newcommand{\Pp}{\Sf{P}}
\newcommand{\Xx}{\Sf{X}}

\newcommand{\vT}{\Sf{T}}
\newcommand{\vF}{\Sf{F}}

\newcommand{\ls}{ \{ }
\newcommand{\rs}{ \} }
\newcommand{\lz}{\langle}
\newcommand{\rz}{\rangle}
\newcommand{\Seq}[1]{\lz #1 \rz}

\newcommand{\And}{\wedge}
\newcommand{\Or}{\vee}
\newcommand{\Imp}{\rightarrow}
\newcommand{\Eqv}{\leftrightarrow}
\newcommand{\Not}{\neg}
\newcommand{\All}{\mbox{\boldmath $\forall$}}
\newcommand{\Ex}{\mbox{\boldmath $\exists$}}

\newcommand{\lawimp}{\Rrightarrow}

\newcommand{\nil}{\mbox{{\sf nil}}}

\newcommand{\override}{\triangleright}
\newcommand{\synid}{\equiv}
\newcommand{\compat}{\mid\!\!\!\diamond~}
\newcommand{\logeqv}{\models\!\!\mid~}
\newcommand{\metaeqv}{\Longleftrightarrow}
\newcommand{\restr}{\upharpoonright}
\newcommand{\disjoint}{\pitchfork}
\newcommand{\always}{\Box}
\newcommand{\bt}{\!:\!}
\newcommand{\da}{\,\mbox{{\bf .}}\,}
\newcommand{\ic}{\!\mid\!}

\newcommand{\mappings}{\longrightarrow}

\newcommand{\wmodels}{\mid \! \approx}
\newcommand{\wturnst}{\mid \! \sim}
\newcommand{\applic}{\mbox{{\tt .}}}

\newcommand{\ldbraq}{[ \! [}
\newcommand{\rdbraq}{] \! ]}
\newcommand{\Cmod}[1]{\ldbraq #1 \rdbraq}
\newcommand{\Imod}[1]{\Cmod{#1}^{\circ}}

\newcommand{\Min}[1]{\Sf{Min}(#1)}
\newcommand{\abs}[1]{ ~\mid\!\! #1 \!\mid~ }

\newcommand{\QQ}[1]{ \ulcorner #1 \urcorner }

\newcommand{\Val}[1]{val[#1]}

\newcommand{\armin}{\mbox{-}}
\newcommand{\arplus}{{\scriptstyle +}}
\newcommand{\minfty}{\mbox{--} \infty}
\newcommand{\deriv}{\partial}


%-------------------------------------------------------
% Following should be made obsolete (pre-HGRL)

% \newcommand{\F}[1]{\It{#1}}   % Feature
\newcommand{\A}[1]{\Sf{#1}}   % Action
\newcommand{\I}[1]{\Tt{#1}}   % Item
\newcommand{\R}[1]{\Sf{#1}}   % Object

\newcommand{\ivl}[1]{ \lbivl #1 \rbivl }

\newcommand{\Ho}{\Rm{H}}
\newcommand{\Do}{\Rm{D}}
\newcommand{\X}{\Rm{X}}
\newcommand{\T}{\Rm{T}}


\newcommand{\Land}{\wedge}
\newcommand{\Lor}{\vee}
\newcommand{\Limp}{\rightarrow}
\newcommand{\Lnot}{\neg}
\newcommand{\Lall}{\forall}
\newcommand{\Lex}{\exists}

% </pre>