-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathmeta.rkt
95 lines (93 loc) · 2.07 KB
/
meta.rkt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
#lang racket
(provide latex-complete)
(define latex-complete
#hash(("\\" . "\\")
;;; logic
("forall" . "∀")
("all" . "∀")
("ex" . "∃")
("nex" . "∄")
("!=" . "≠")
("neq" . "≠")
("==" . "≡")
("equiv" . "≡")
("~=" . "≌")
("cong" . "≌")
("land" . "∧")
("lor" . "∨")
("neg" . "¬")
("top" . "⊤")
("bot" . "⊥")
("|-" . "⊢")
("n|-" . "⊬")
("-|" . "⊣")
("qed" . "∎")
;;; set
("0" . "∅")
("in" . "∈")
("nin" . "∉")
("cap" . "∩")
("intersect" . "∩")
("cup" . "∪")
("union" . "∪")
;;; arrow
("->" . "→")
("to" . "→")
("=>" . "⇒")
(">>" . "≫")
("<-" . "←")
("<=" . "⇐")
("<->" . "↔")
("<=>" . "⇔")
("m>" . "↦")
("-->" . "⟶")
("u>" . "↑")
("U>" . "⇑")
("d>" . "↓")
("D>" . "⇓")
;;; greek
("ga" . "α")
("alpha" . "α")
("gb" . "β")
("beta" . "β")
("gd" . "δ")
("Gd" . "Δ")
("ge" . "ε")
("gg" . "γ")
("Gg" . "Γ")
("Gamma" . "Γ")
("gh" . "η")
("gi" . "ι")
("gk" . "κ")
("gl" . "λ")
("lam" . "λ")
("lambda" . "λ")
("Gl" . "Λ")
("gm" . "μ")
("gn" . "ν")
("go" . "ω")
("Go" . "Ω")
("gp" . "π")
("pi" . "π")
("Gp" . "Π")
("Pi" . "Π")
("gr" . "ρ")
("gs" . "σ")
("Gs" . "Σ")
("Sigma" . "Σ")
("gt" . "τ")
("gv" . "ν")
("Gv" . "Υ")
("gw" . "ϕ")
("Gw" . "Φ")
("gx" . "χ")
("gy" . "ψ")
("Gy" . "Ψ")
("gz" . "ζ")
("zeta" . "ζ")
;;; arith
("times" . "×")
("div" . "÷")
;;; misc
(":" . "∶")
("::" . "∷")))