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

% 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}}   % Constant (except certain names)
\newcommand{\F}[1]{\Sf{#1}}    % Function name

% \newcommand{\Pp}[1]{\Tt{#1}}   % Property (Item) 
\newcommand{\Pp}[1]{\Sf{#1}}   % Property (Item)   %  phase out!
\renewcommand{\Pr}[1]{\Sf{#1}}   % Property (Item) 

\newcommand{\Pn}[1]{\Sc{#1}}   % Proposition/Feature name
\newcommand{\On}[1]{\Sc{#1}}   % Object name

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

\newcommand{\HH}[1]{\Sf{H}(#1)}
\newcommand{\DD}[1]{\Sf{D}(#1)}
\newcommand{\XX}[1]{\Sf{X}(#1)}

\newcommand{\Hh}{\Sf{H}\!\,}
\newcommand{\Dd}{\Sf{D}}
\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{\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{\QQ}[1]{ \ulcorner #1 \urcorner }

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

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

%-------------------------------------------------------
% 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>