accents.dart
2.68 KB
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
108
109
110
111
112
113
114
115
116
117
118
119
120
class AccentRenderConfig {
final String? overChar;
final String? overImageName;
final String? underImageName;
// final bool alwaysShifty;
const AccentRenderConfig({
this.overChar,
this.overImageName,
this.underImageName,
// this.alwaysShifty = false,
});
}
const accentRenderConfigs = {
'\u005e': AccentRenderConfig(
// '\u0302'
overChar: '\u005e', // \hat
overImageName: 'widehat',
// alwaysShifty: true,
),
'\u02c7': AccentRenderConfig(
// '\u030C'
overChar: '\u02c7', // \check
overImageName: 'widecheck',
// alwaysShifty: true,
),
'\u007e': AccentRenderConfig(
// '\u0303'
overChar: '\u007e', // \tilde
overImageName: 'widetilde',
underImageName: 'utilde',
// alwaysShifty: true,
),
'\u00b4': AccentRenderConfig(
// '\u0301'
overChar: '\u02ca', // \acute
),
'\u0060': AccentRenderConfig(
// '\u0300'
overChar: '\u02cb', // \grave
),
'\u02d9': AccentRenderConfig(
// '\u0307'
overChar: '\u02d9', // \dot
),
'\u00a8': AccentRenderConfig(
// '\u0308'
overChar: '\u00a8', // \ddot
),
// '\u20DB': AccentRenderConfig(
// isOverAccent: true,
// symbol: '', // \dddot
// svgName: '',
// ),
'\u00AF': AccentRenderConfig(
// '\u0304'
overChar: '\u02c9', // \bar
),
'\u2192': AccentRenderConfig(
// '\u20D7'
overChar: '\u20d7', // \vec
overImageName: 'overrightarrow',
underImageName: 'underrightarrow',
),
'\u02d8': AccentRenderConfig(
// '\u0306'
overChar: '\u02d8', // \breve
),
'\u02da': AccentRenderConfig(
// '\u030a'
overChar: '\u02da', // \mathring
),
'\u02dd': AccentRenderConfig(
// '\u030b'
overChar: '\u02dd', // \H
),
'\u2190': AccentRenderConfig(
// '\u20d6'
overImageName: 'overleftarrow',
underImageName: 'underleftarrow',
),
'\u2194': AccentRenderConfig(
// '\u20e1'
overImageName: 'overleftrightarrow',
underImageName: 'underleftrightarrow',
),
'\u23de': AccentRenderConfig(
overImageName: 'overbrace',
),
'\u23df': AccentRenderConfig(
underImageName: 'underbrace',
),
...katexCompatibleAccents,
};
const katexCompatibleAccents = {
'\u21d2': AccentRenderConfig(
// '\u21d2'
overImageName: 'Overrightarrow',
),
'\u23e0': AccentRenderConfig(
// '\u0311'
overImageName: 'overgroup',
underImageName: 'undergroup'),
// '\u': AccentRenderConfig(
// overImageName: 'overlinesegment',
// underImageName: 'underlinesegment',
// ),
'\u21bc': AccentRenderConfig(
// '\u20d0'
overImageName: 'overleftharpoon',
),
'\u21c0': AccentRenderConfig(
// '\u20d1'
overImageName: 'overrightharpoon',
),
};