helm/mathql/doc/mathql_macros.sty

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