-
Notifications
You must be signed in to change notification settings - Fork 0
/
symbols
56 lines (50 loc) · 3.56 KB
/
symbols
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
\<coercion> code: 0x01f799 font: PhiSymbols group: punctuation abbrev: <c>
\<tribullet> code: 0x002023 font: PhiSymbols group: operator
\<fish_eye> code: 0x0025C9 font: PhiSymbols group: punctuation
\<black_circle> code: 0x0025CF font: PhiSymbols group: punctuation
\<half_bc2> code: 0x0025D1 font: PhiSymbols group: punctuation
\<half_blkcirc> code: 0x0025D2 font: PhiSymbols group: punctuation
\<OLstar> code: 0x00272E font: PhiSymbols group: operator
\<OTast> code: 0x00273C font: PhiSymbols group: operator
\<heavy_comma> code: 0x00275F font: PhiSymbols group: punctuation abbrev: ,,
\<big_ast> code: 0x002731 font: PhiSymbols group: operator abbrev: <**>
\<blangle> code: 0x00276c font: PhiSymbols group: punctuation abbrev: <<b
\<brangle> code: 0x00276d font: PhiSymbols group: punctuation abbrev: >>b
\<medium_left_bracket> code: 0x002774 font: PhiSymbols abbrev: {{
\<medium_right_bracket> code: 0x002775 font: PhiSymbols abbrev: }}
\<dblcoloneqq> code: 0x002A74 font: PhiSymbols group: relation abbrev: ::=
\<odivr> code: 0x0029BC font: PhiSymbols group: operator abbrev: (/:)
\<odiv> code: 0x002A38 font: PhiSymbols group: operator abbrev: (-:)
\<lblbrace> code: 0x003010 font: PhiSymbols group: punctuation abbrev: <[(> abbrev: <{(>
\<rblbrace> code: 0x003011 font: PhiSymbols group: punctuation abbrev: <)]> abbrev: <)}>
\<lwpar> code: 0x002985 font: PhiSymbols group: punctuation abbrev: \((
\<rwpar> code: 0x002986 font: PhiSymbols group: punctuation abbrev: \))
\<rev_quest> code: 0x00061f font: PhiSymbols group: punctuation
\<BRarrow> code: 0x0027A4 font: PhiSymbols group: arrow
\<semicolon> code: 0x00FF1B font: PhiSymbols group: punctuation
\<Aa> code: 0x01d5a0 group: letter font: PhiSymbols
\<Bb> code: 0x01d5a1 group: letter font: PhiSymbols
\<Cc> code: 0x01d5a2 group: letter font: PhiSymbols
\<Dd> code: 0x01d5a3 group: letter font: PhiSymbols
\<Ee> code: 0x01d5a4 group: letter font: PhiSymbols
\<Ff> code: 0x01d5a5 group: letter font: PhiSymbols
\<Gg> code: 0x01d5a6 group: letter font: PhiSymbols
\<Hh> code: 0x01d5a7 group: letter font: PhiSymbols
\<Ii> code: 0x01d5a8 group: letter font: PhiSymbols
\<Jj> code: 0x01d5a9 group: letter font: PhiSymbols
\<Kk> code: 0x01d5aa group: letter font: PhiSymbols
\<Ll> code: 0x01d5ab group: letter font: PhiSymbols
\<Mm> code: 0x01d5ac group: letter font: PhiSymbols
\<Nn> code: 0x01d5ad group: letter font: PhiSymbols
\<Oo> code: 0x01d5ae group: letter font: PhiSymbols
\<Pp> code: 0x01d5af group: letter font: PhiSymbols
\<Qq> code: 0x01d5b0 group: letter font: PhiSymbols
\<Rr> code: 0x01d5b1 group: letter font: PhiSymbols
\<Ss> code: 0x01d5b2 group: letter font: PhiSymbols
\<Tt> code: 0x01d5b3 group: letter font: PhiSymbols
\<Uu> code: 0x01d5b4 group: letter font: PhiSymbols
\<Vv> code: 0x01d5b5 group: letter font: PhiSymbols
\<Ww> code: 0x01d5b6 group: letter font: PhiSymbols
\<Xx> code: 0x01d5b7 group: letter font: PhiSymbols
\<Yy> code: 0x01d5b8 group: letter font: PhiSymbols
\<Zz> code: 0x01d5b9 group: letter font: PhiSymbols