helm/mathql/doc/mathql_macros.sty

   1 \usepackage{amssymb}
   2
   3 \newcommand\CURI[1]{\texttt{<#1>}}
   4 \newcommand\EM[1]{\noindent\hbox{\frenchspacing\em #1}}
   5 \newcommand\TT[1]{\noindent\hbox{\frenchspacing\tt #1}}
   6 \newcommand\RM[1]{\noindent\hbox{\frenchspacing\rm #1}}
   7 \newcommand\secref[1]{Section~\ref{#1}}
   8 \newcommand\subsecref[1]{Subsection~\ref{#1}}
   9 \newcommand\figref[1]{Figure~\ref{#1}}
  10 \newcommand\ie{{\frenchspacing i.e.}}
  11 \newcommand\oft{\mathrel :}
  12 \newcommand\lex{\exists}
  13 \newcommand\lall{\forall}
  14 \newcommand\sub{\subseteq}
  15 \newcommand\meet{\between}
  16 \newcommand\sand{\cap}
  17 \newcommand\sdor{\sqcup}
  18 \newcommand\sor{\cup}
  19 \newcommand\bigsor{\bigcup}
  20 \newcommand\app{\mathbin @}
  21 \newcommand\fa{\phi}
  22 \newcommand\fb{\psi}
  23 \newcommand\st{\mathrel |}
  24 \newcommand\p{{^\prime}}
  25 \newcommand\jolly{\mathbin\square}
  26 \newcommand\gdlap[2]{\vbox to 0pt {\vskip#2\hbox{#1}\vss}}
  27 \newcommand\setnames@[2]{&\gdlap{\kern2pt$#1$}{#2}}
  28 \newcommand\imain[1]{{\offinterlineskip\lineskip=2pt\noindent
  29   $\vcenter{\halign{\hss$##$\hss&##\hss\cr#1\crcr}}$}}
  30 \newcommand\iname[1]{\cr\hrulefill\setnames@{#1}{-1.0ex}\cr}
  31 \newcommand\irule[3]{\imain{#1 \iname{#2} #3}}
  32 \newcommand\spc{\hspace{1em}}
  33 \newcommand\icr{\cr}
  34 \newcommand\Nop{\noindent\hbox to 0pt{\vbox to 1ex{\vfil}\hfil}}
  35
  36 \newcommand\BNF{\textsc{bnf}}
  37 \newcommand\CAML{\textsc{caml}}
  38 \newcommand\Galax{\textsc{galax}}
  39 \newcommand\HELM{\textsc{helm}}
  40 \newcommand\MathQL{\textsc{mathql-1}}
  41 \newcommand\MySQL{\textsc{mysql}}
  42 \newcommand\POSIX{\textsc{posix}}
  43 \newcommand\PostgreSQL{\textsc{postgresql}}
  44 \newcommand\RDF{\textsc{rdf}}
  45 \newcommand\RDFM{\textsc{rdf model}}
  46 \newcommand\RDFS{\textsc{rdf schema}}
  47 \newcommand\SQL{\textsc{sql}}
  48 \newcommand\URI{\textsc{uri}}
  49 \newcommand\XML{\textsc{xml}}
  50 \newcommand\XQuery{\textsc{xquery}}
  51
  52 \newcommand\av{{\frenchspacing a.v.}}
  53
  54 \newcommand\D{\Delta}
  55 \newcommand\G{\Gamma}
  56 \newcommand\ES{\emptyset}
  57 \newcommand\bigsum{\bigoplus}
  58 \newcommand\daq{\mathrel{\Downarrow_q}}
  59 \newcommand\dar{\mathrel{\Downarrow_r}}
  60 \newcommand\distr{\mathbin\odot}
  61 \newcommand\dprod{\mathbin\boxtimes}
  62 \newcommand\dsum{\mathbin\boxplus}
  63 \newcommand\g{(\G_s, \G_e, \G_g)}
  64 \newcommand\get[2]{#1(#2)}
  65 \newcommand\sdiff{\mathbin\ominus}
  66 \newcommand\set[3]{#1[#2 \gets #3]}
  67 \newcommand\sprod{\mathbin\otimes}
  68 \newcommand\ssum{\mathbin\oplus}
  69
  70 \newcommand\Boole{\TT{Boole}}
  71 \newcommand\Listof{\TT{ListOf}}
  72 \newcommand\Setof{\TT{SetOf}}
  73 \newcommand\Str{\TT{Str}}
  74 \newcommand\Num{\TT{Num}}
  75
  76 \newcommand\All{\TT{All}}
  77 \newcommand\Exp{\TT{Exp}}
  78 \newcommand\F{\TT{F}}
  79 \newcommand\For{\TT{For}}
  80 \newcommand\Fst{\TT{Fst}}
  81 \newcommand\Fsts{\TT{Fsts}}
  82 \newcommand\Fun{\TT{Fun}}
  83 \newcommand\Gen{\TT{Gen}}
  84 \newcommand\Head{\TT{Head}}
  85 \newcommand\Istrue{\TT{IsT}}
  86 \newcommand\Keep{\TT{Keep}}
  87 \newcommand\Match{\TT{Match}}
  88 \newcommand\Name{\TT{Name}}
  89 \newcommand\Pattern{\TT{Pattern}}
  90 \newcommand\Proj{\TT{Proj}}
  91 \newcommand\Property{\TT{Property}}
  92 \newcommand\Snd{\TT{Snd}}
  93 \newcommand\Src{\TT{Src}}
  94 \newcommand\Unquote{\TT{Unq}}
  95 \newcommand\T{\TT{T}}
  96
  97 \newcommand\GP[1]{\TT{<#1>}}
  98
  99 \newcommand\Set{\textsf{Set}}
 100 \newcommand\Prop{\textsf{Prop}}
 101 \newcommand\MainConclusion{\textsf{MainConclusion}}
 102 \newcommand\MainHypothesis{\textsf{MainHypothesis}}
 103 \newcommand\occurrence{\textsf{occurrence}}
 104 \newcommand\refObj{\textsf{refObj}}