helm/mathql/doc/mathql_macros.sty

   1 \usepackage{fguidi-defs}
   2
   3 \newcommand{\secref}[1]{Section~\ref{#1}}
   4 \newcommand{\subsecref}[1]{Subsection~\ref{#1}}
   5 \newcommand{\figref}[1]{Figure~\ref{#1}}
   6
   7 \newcommand\MathQL{\textsc{mathql-1}}
   8 \newcommand\RDF{\textsc{rdf}}
   9 \newcommand\RDFS{\textsc{rdf schema}}
  10 \newcommand\HELM{\textsc{helm}}
  11 \newcommand\POSIX{\textsc{posix}}
  12 \newcommand\XML{\textsc{xml}}
  13 \newcommand\CAML{\textsc{caml}}
  14 \newcommand\SQL{\textsc{sql}}
  15 \newcommand\MySQL{\textsc{mysql}}
  16 \newcommand\PostgreSQL{\textsc{postgresql}}
  17 \newcommand\Galax{\textsc{galax}}
  18 \newcommand\XQuery{\textsc{xquery}}
  19
  20 \def\av{{\frenchspacing a.v.}}
  21
  22 \def\D{\Delta}
  23 \def\G{\Gamma}
  24 \def\ES{\emptyset}
  25 \def\bigsum{\bigoplus}
  26 \def\daq{\mathrel{\Downarrow_q}}
  27 \def\dar{\mathrel{\Downarrow_r}}
  28 \def\distr{\mathbin\odot}
  29 \def\dprod{\mathbin\boxtimes}
  30 \def\dsum{\mathbin\boxplus}
  31 \def\g{(\G_s, \G_a, \G_g)}
  32 \def\get#1#2{#1(#2)}
  33 \def\prod{\mathbin\otimes}
  34 \def\set#1#2#3{#1[#2 \gets #3]}
  35 \def\sum{\mathbin\oplus}
  36
  37 \def\Boole{\TT{Boole}}
  38 \def\Listof{\TT{ListOf}}
  39 \def\Setof{\TT{SetOf}}
  40 \def\Str{\TT{String}}
  41 \def\Num{\TT{Num}}
  42
  43 \def\All{\TT{All}}
  44 \def\Exp{\TT{Exp}}
  45 \def\F{\TT{F}}
  46 \def\For{\TT{For}}
  47 \def\Fst{\TT{Fst}}
  48 \def\Fsts{\TT{Fsts}}
  49 \def\Fun{\TT{Fun}}
  50 \def\Gen{\TT{Gen}}
  51 \def\Istrue{\TT{IsTrue}}
  52 \def\Match{\TT{Match}}
  53 \def\Name{\TT{Name}}
  54 \def\Pattern{\TT{Pattern}}
  55 \def\Property{\TT{Property}}
  56 \def\Snd{\TT{Snd}}
  57 \def\Src{\TT{Src}}
  58 \def\Unquote{\TT{Unq}}
  59 \def\T{\TT{T}}
  60
  61 \def\GP#1{\TT{<#1>}}