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
96
97
98
99
100
101
102
103
104
105
106
107
|
// DO NOT EDIT. AUTOMATICALLY GENERATED FROM oct-tex-symbols.in.
static uint32_t symbol_codes[][2] = {
{ 0x03B1, 0xF061 },
{ 0x03B2, 0xF062 },
{ 0x03B3, 0xF067 },
{ 0x03B4, 0xF064 },
{ 0x03B5, 0xF065 },
{ 0x03B6, 0xF07A },
{ 0x03B7, 0xF068 },
{ 0x03B8, 0xF071 },
{ 0x03D1, 0xF04A },
{ 0x03B9, 0xF069 },
{ 0x03BA, 0xF06B },
{ 0x03BB, 0xF06C },
{ 0x03BC, 0xF06D },
{ 0x03BD, 0xF06E },
{ 0x03BE, 0xF078 },
{ 0x03BF, 0xF0B0 },
{ 0x03C0, 0xF070 },
{ 0x03D6, 0xF076 },
{ 0x03C1, 0xF072 },
{ 0x03C3, 0xF073 },
{ 0x03C2, 0xF056 },
{ 0x03C4, 0xF074 },
{ 0x03C5, 0xF075 },
{ 0x03C6, 0xF066 },
{ 0x03C7, 0xF063 },
{ 0x03C8, 0xF079 },
{ 0x03C9, 0xF077 },
{ 0x0393, 0xF047 },
{ 0x0394, 0xF044 },
{ 0x0398, 0xF051 },
{ 0x039B, 0xF04C },
{ 0x039E, 0xF058 },
{ 0x03A0, 0xF050 },
{ 0x03A3, 0xF053 },
{ 0x03D2, 0xF055 },
{ 0x03A6, 0xF046 },
{ 0x03A8, 0xF059 },
{ 0x03A9, 0xF057 },
{ 0x2135, 0xF0C0 },
{ 0x2118, 0xF0C3 },
{ 0x211C, 0xF0C2 },
{ 0x2111, 0xF0C1 },
{ 0x2202, 0xF0B6 },
{ 0x221E, 0xF0A5 },
{ 0x2032, 0xF0A2 },
{ 0x2207, 0xF0D1 },
{ 0x221A, 0xF0D6 },
{ 0x2220, 0xF0D0 },
{ 0x2200, 0xF022 },
{ 0x2203, 0xF024 },
{ 0x00AC, 0xF0D8 },
{ 0x2663, 0xF0A7 },
{ 0x2666, 0xF0A8 },
{ 0x2665, 0xF0A9 },
{ 0x2660, 0xF0AA },
{ 0x222B, 0xF0F2 },
{ 0x00B1, 0xF0B1 },
{ 0x22C5, 0xF0D7 },
{ 0x00D7, 0xF0B4 },
{ 0x2217, 0xF02A },
{ 0x2218, 0xF0B0 },
{ 0x2219, 0xF0B7 },
{ 0x00F7, 0xF0B8 },
{ 0x2229, 0xF0C7 },
{ 0x222A, 0xF0C8 },
{ 0x2228, 0xF0DA },
{ 0x2227, 0xF0D9 },
{ 0x2295, 0xF0C5 },
{ 0x2297, 0xF0C4 },
{ 0x2298, 0xF0C6 },
{ 0x2264, 0xF0A3 },
{ 0x2282, 0xF0CC },
{ 0x2286, 0xF0CD },
{ 0x2208, 0xF0CE },
{ 0x2265, 0xF0B3 },
{ 0x2283, 0xF0C9 },
{ 0x2287, 0xF0CA },
{ 0x220B, 0xF027 },
{ 0x2223, 0xF0BD },
{ 0x2261, 0xF0BA },
{ 0x223C, 0xF07E },
{ 0x2248, 0xF0BB },
{ 0x2245, 0xF040 },
{ 0x221D, 0xF0B5 },
{ 0x22A5, 0xF05E },
{ 0x2190, 0xF0AC },
{ 0x21D0, 0xF0DC },
{ 0x2192, 0xF0AE },
{ 0x21D2, 0xF0DE },
{ 0x2194, 0xF0AB },
{ 0x2191, 0xF0AD },
{ 0x2193, 0xF0AF },
{ 0x230A, 0xF0EB },
{ 0x27E8, 0xF0E1 },
{ 0x2308, 0xF0E9 },
{ 0x230B, 0xF0FB },
{ 0x27E9, 0xF0F1 },
{ 0x2309, 0xF0F9 },
{ 0x2260, 0xF0B9 },
{ 0x2026, 0xF0BC },
{ 0x2205, 0xF0C6 },
{ 0x00A9, 0xF0E3 },
{ 0x00B0, 0xF0B0 },
};
static int num_symbol_codes = 103;
|
