symbols_extra.dart
2.4 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
// These symbols are migrated from elsewhere in KaTeX, e.g., macro
import '../../ast/syntax_tree.dart';
import 'symbols.dart';
const extraTexMathSymbolCommandConfigs = {
// Stacked operator
// '\u2258': TexSymbolConfig('\u2258'),
'\u2259': TexSymbolConfig('\u2259'),
'\u225A': TexSymbolConfig('\u225A'),
'\u225B': TexSymbolConfig('\u225B'),
'\u225D': TexSymbolConfig('\u225D'),
'\u225E': TexSymbolConfig('\u225E'),
'\u225F': TexSymbolConfig('\u225F'),
// Circled characters
// '\\copyright': TexSymbolConfig('\u00A9'), // ©
// Negated relations
// '\\not': TexSymbolConfig('\u0338'),
'\\neq': TexSymbolConfig('\u2260'),
'\\notin': TexSymbolConfig('\u2209'),
'\\notni': TexSymbolConfig('\u220C'),
'\u2260': TexSymbolConfig('\u2260'),
'\u2209': TexSymbolConfig('\u2209'),
'\u220C': TexSymbolConfig('\u220C'),
// colon
'\\colon': TexSymbolConfig(':', type: AtomType.punct), // From MathJax
// Composite characters
'\\dblcolon': TexSymbolConfig('\u2237'),
'\\coloneqq': TexSymbolConfig('\u2254'),
'\\eqqcolon': TexSymbolConfig('\u2255'),
'\\eqcolon': TexSymbolConfig('\u2239'),
'\\llbracket': TexSymbolConfig('\u27e6'),
'\\rrbracket': TexSymbolConfig('\u27e7'),
'\\lBrace': TexSymbolConfig('\u2983'),
'\\rBrace': TexSymbolConfig('\u2984'),
// // Private KaTeX code point
// '\\gvertneqq': TexSymbolConfig('\u2269', type: AtomType.rel),
// '\\lvertneqq': TexSymbolConfig('\u2268', type: AtomType.rel),
// '\\ngeqq': TexSymbolConfig('\u2271', type: AtomType.rel),
// '\\ngeqslant': TexSymbolConfig('\u2271', type: AtomType.rel),
// '\\nleqq': TexSymbolConfig('\u2270', type: AtomType.rel),
// '\\nleqslant': TexSymbolConfig('\u2270', type: AtomType.rel),
// '\\nshortmid': TexSymbolConfig('∤', type: AtomType.rel),
// '\\nshortparallel': TexSymbolConfig('∦', type: AtomType.rel),
// '\\nsubseteqq': TexSymbolConfig('\u2288', type: AtomType.rel),
// '\\nsupseteqq': TexSymbolConfig('\u2289', type: AtomType.rel),
// '\\varsubsetneq': TexSymbolConfig('⊊', type: AtomType.rel),
// '\\varsubsetneqq': TexSymbolConfig('⫋', type: AtomType.rel),
// '\\varsupsetneq': TexSymbolConfig('⊋', type: AtomType.rel),
// '\\varsupsetneqq': TexSymbolConfig('⫌', type: AtomType.rel),
};
const extraTexTextSymbolCommandConfigs = <String, TexSymbolConfig>{
// '\\textcopyright': TexSymbolConfig('\u00A9'), // ©
// '\\textregistered': TexSymbolConfig('\u00AE'), // ®
};