-- Candy file

"->"        0x2192   --Trimming     --RIGHTWARDS ARROW                    →
"<-"        0x2190   --Trimming     --LEFTWARDS ARROW                     ←
"=>"        0x21d2                  --RIGHTWARDS DOUBLE ARROW             ⇒
">="        0x2265                  --GREATER-THAN OR EQUAL TO            ≥
"<="        0x2264                  --LESS-THAN OR EQUAL TO               ≤
"/="        0x2260                  --NOT EQUAL TO                        ≠
"&&"        0x2227                  --LOGICAL AND                         ∧
"||"        0x2228                  --LOGICAL OR                          ∨
--"++"      0x2295                  --CIRCLED PLUS                        ⊕
"++"        0x29fa                  --DOUBLE PLUS                         ⧺
"+++"       0x29fa                  --TRIPLE PLUS                         ⧻
"::"        0x2237   --Trimming     --PROPORTION                          ∷
--".."      0x2025                  --TWO DOT LEADER                      ‥ !
".."        0x2026                  --HORIZONTAL ELLIPSIS                 …
"^"         0x2191                  --UPWARDS ARROW                       ↑
"=="        0x2261                  --IDENTICAL TO                        ≡
" . "       0x2218                  --RING OPERATOR                       ∘
"\"         0x03bb                  --GREEK SMALL LETTER LAMBDA           λ
--"=<<"     0x291e                  --RIGHTWARDS ARROW TO BLACK DIAMOND   ⤞ !
"=<<"       0x219e                  --LEFTWARDS TWO HEADED ARROW          ↞
">>="       0x21a0                  --RIGHTWARDS TWO HEADED ARROW         ↠
"$"         0x25ca                  --LOZENGE                             ◊
">>"        0x226b                  --MUCH GREATER-THAN                   ≫ !

"forall"    0x2200                  --FOR ALL                             ∀
"exist"     0x2203                  --THERE EXISTS                        ∃
"not"       0x00ac                  --NOT SIGN                            ¬

"alpha"     0x03b1                  --ALPHA                               α
"beta"      0x03b2                  --BETA                                β
"gamma"     0x03b3                  --GAMMA                               γ
"delta"     0x03b4                  --DELTA                               δ
"epsilon"   0x03b5                  --EPSILON                             ε
"zeta"      0x03b6                  --ZETA                                ζ
"eta"       0x03b7                  --ETA                                 η
"theta"     0x03b8                  --THETA                               θ

