]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/doc/mathql_macros.sty
fix
[helm.git] / 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}}