Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / fhm-preamble-extras.fmt
1
2 %format .  = "."
3 %format ^ = " "
4 %format ^^ = "\quad"
5 %format ~= = "\approx"
6 %format == = "\equiv"
7 %format sigeq = "\equiv_{sr}"
8 %format forall = "\forall"
9 %format Real = "\mathbb{R}"
10 %format Nat  = "\mathbb{N}"
11 %format (bar (a))  = "\overline{" a "}"
12 %format rm  = "\rtothem"
13
14 %format alpha = "\alpha"
15 %format beta = "\beta"
16 %format gamma = "\gamma"
17 %format tau = "\tau"
18 %format tau1 = "\tau_1"
19 %format tau2 = "\tau_2"
20 %format sigma = "\sigma"
21 %format rho = "\rho"
22 %format epsilon = "\epsilon"
23
24 %format Gamma = "\Gamma"
25 %format Sum = "\sum"
26
27 %format oplus = "\oplus"
28 %format otimes = "\otimes"
29 %format cap = "\cap"
30 %format Union = "\bigcup"
31 %format union = "\cup"
32 %format emptyset = "\emptyset"
33 %format subseteq = "\subseteq"
34 %format elem    = "\in"
35 %format \\ = "\backslash"
36
37 %format RVec = "\rvector"
38 %format SVec = "\svector"
39
40 %format e1  = "\Varid{e}_1"
41 %format e2  = "\Varid{e}_2"
42 %format e3  = "\Varid{e}_3"
43 %format ei  = "\Varid{e}_i"
44 %format t1  = "\Varid{t}_1"
45 %format t2  = "\Varid{t}_2"
46 %format t3  = "\Varid{t}_3"
47 %format ti  = "\Varid{t}_i"
48 %format r1  = "\Varid{r}_1"
49 %format r2  = "\Varid{r}_2"
50 %format sr1 = "\Varid{sr}_1"
51 %format sr2 = "\Varid{sr}_2"
52 %format eq1 = "\Varid{eq}_1"
53 %format eq2 = "\Varid{eq}_2"
54 %format q1  = "\Varid{q}_1"
55 %format q2  = "\Varid{q}_2"
56 %format s1  = "\Varid{s}_1"
57 %format s2  = "\Varid{s}_2"
58 %format c1 = "\Varid{c}_1"
59 %format c2 = "\Varid{c}_2"
60 %format x1  = "\Varid{x}_1"
61 %format x2  = "\Varid{x}_2"
62 %format x3  = "\Varid{x}_3"
63
64 %format (sub (a) (b)) = "\Varid{" a "}_" b
65 %format subQ (a) = "\Varid{" a "}_Q" 
66 %format subZ (a) = "\Varid{" a "}_Z"
67 %format (abs (a)) = "\mathopen{|}" a "\mathclose{|}"
68 %format CBar    = "\overline{C}"
69 %format INT = "\underline{IntLit}"
70 %format cdot = "\cdot"
71 %format subset = "\subset"
72 %format subseteq = "\subseteq"
73 %format intersect = "\cap"