\usepackage{fguidi-defs} 

\newcommand{\secref}[1]{Section~\ref{#1}}
\newcommand{\subsecref}[1]{Subsection~\ref{#1}}
\newcommand{\figref}[1]{Figure~\ref{#1}}

\newcommand\CAML{\textsc{caml}}
\newcommand\Galax{\textsc{galax}}
\newcommand\HELM{\textsc{helm}}
\newcommand\MathQL{\textsc{mathql-1}}
\newcommand\MySQL{\textsc{mysql}}
\newcommand\POSIX{\textsc{posix}}
\newcommand\PostgreSQL{\textsc{postgresql}}
\newcommand\RDF{\textsc{rdf}}
\newcommand\RDFM{\textsc{rdf model}}
\newcommand\RDFS{\textsc{rdf schema}}
\newcommand\SQL{\textsc{sql}}
\newcommand\URI{\textsc{uri}}
\newcommand\XML{\textsc{xml}}
\newcommand\XQuery{\textsc{xquery}}

\def\av{{\frenchspacing a.v.}}

\def\D{\Delta}
\def\G{\Gamma}
\def\ES{\emptyset}
\def\bigsum{\bigoplus}
\def\daq{\mathrel{\Downarrow_q}}
\def\dar{\mathrel{\Downarrow_r}}
\def\distr{\mathbin\odot}
\def\dprod{\mathbin\boxtimes} 
\def\dsum{\mathbin\boxplus} 
\def\g{(\G_s, \G_a, \G_g)}
\def\get#1#2{#1(#2)}
\def\prod{\mathbin\otimes} 
\def\set#1#2#3{#1[#2 \gets #3]}
\def\sum{\mathbin\oplus}

\def\Boole{\TT{Boole}}
\def\Listof{\TT{ListOf}}
\def\Setof{\TT{SetOf}}
\def\Str{\TT{String}}
\def\Num{\TT{Num}}

\def\All{\TT{All}}
\def\Exp{\TT{Exp}}
\def\F{\TT{F}}
\def\For{\TT{For}}
\def\Fst{\TT{Fst}}
\def\Fsts{\TT{Fsts}}
\def\Fun{\TT{Fun}}
\def\Gen{\TT{Gen}}
\def\Istrue{\TT{IsTrue}}
\def\Match{\TT{Match}}
\def\Name{\TT{Name}}
\def\Pattern{\TT{Pattern}}
\def\Property{\TT{Property}}
\def\Snd{\TT{Snd}}
\def\Src{\TT{Src}}
\def\Unquote{\TT{Unq}}
\def\T{\TT{T}}

\def\GP#1{\TT{<#1>}}
