[tex:\require{color}
\newcommand{\deform}[1\]{
{#1}\\
\xymatrix{ *[.\]{}\ar@2{~>} [d\] \\{} }
}
\newcommand{\hyp}{\mbox{-}}
\newcommand{\To}{\Rightarrow}
\newcommand{\F}[1\]{ \langle\![{#1}\]\!\rangle }
\newcommand{\As}{\;::\;}
\newcommand{\id}{\rm{id}}
\newcommand{\Keyword}[1\]{ \textcolor{green}{ \bf #1} }
\newcommand{\For}{ \Keyword{for\:\:} }
\newcommand{\Def}{ \Keyword{def\:\:} }
\newcommand{\Dec}{ \Keyword{dec\:\:} }
\newcommand{\Within}[1\]{ \Keyword{ within \: #1} }
\newcommand{\EndDef}{ \Keyword{enddef} }
\newcommand{\EndDec}{ \Keyword{enddec} }
\newcommand{\Let}{ \Keyword{let} }
\newcommand{\EndLet}{ \Keyword{endlet} }
\newcommand{\Where}{ \Keyword{where\:\:} }
\newcommand{\EndWhere}{ \Keyword{endwhere} }
\newcommand{\And}{ \Keyword{and} }
\newcommand{\IsPrimitive}{ \:\:\Keyword{is\: primitive} }
\newcommand{\IsDefined}{ \:\:\Keyword{is\: defined} }
]