The operational semantics of the core language is ready

[helm.git] / helm / mathql / doc / mathql_macros.sty

diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty
new file mode 100644 (file)
index 0000000..569f86d
--- /dev/null
+++ b/helm/mathql/doc/mathql_macros.sty
@@ -0,0 +1,60 @@
+\usepackage{fguidi-defs} 
+
+\newcommand{\subsecref}[1]{Subsection~\ref{#1}}
+\newcommand{\figref}[1]{Figure~\ref{#1}}
+
+\newcommand\MathQL{\textsc{mathql-1}}
+\newcommand\RDF{\textsc{rdf}}
+\newcommand\RDFS{\textsc{rdf schema}}
+\newcommand\HELM{\textsc{helm}}
+\newcommand\POSIX{\textsc{posix}}
+\newcommand\XML{\textsc{xml}}
+\newcommand\CAML{\textsc{caml}}
+\newcommand\SQL{\textsc{sql}}
+\newcommand\MySQL{\textsc{mysql}}
+\newcommand\PostgreSQL{\textsc{postgresql}}
+\newcommand\Galax{\textsc{galax}}
+\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>}}