hyunjongkimmath commited on
Commit
2e20def
1 Parent(s): 2ab5679

Upload tokenizer

Browse files
Files changed (3) hide show
  1. README.md +11 -9
  2. special_tokens_map.json +35 -5
  3. tokenizer_config.json +4347 -2
README.md CHANGED
@@ -1,11 +1,13 @@
1
  ---
2
- widget:
3
- - text: >-
4
- A gastoroidal toroid is a toroid constructed as a fried dough and equipped with a sucrose structure. The space $|\mathscr{T}_\mathscr{G}|$ of a gastoroidal toroid $\mathscr{T}_\mathscr{G}$ is the underlying topological space structure of the fried dough. We say that a gastroidal toroid is flavorful if $\lim_{n \to \infty} \operatorname{swt}_n(\mathscr{T}_\mathscr{G}) \geq 1$.
5
- - text: >-
6
- Let $A$ be a ring and let $I$ be an ideal. The radical of $I$ is the ideal
7
- $\sqrt{I} = \{a \in A: a^n \in I \text{ for some } n \geq 0 \}$.
8
- - text: >-
9
- In this chapter, we let $k$ denote a field of characteristic $p$ and we let $\bar{k}$ denote a fixed algebraic closure.
10
  license: gpl-2.0
11
- ---
 
 
 
 
 
 
 
 
 
 
 
1
  ---
 
 
 
 
 
 
 
 
2
  license: gpl-2.0
3
+ widget:
4
+ - text: A gastoroidal toroid is a toroid constructed as a fried dough and equipped
5
+ with a sucrose structure. The space $|\mathscr{T}_\mathscr{G}|$ of a gastoroidal
6
+ toroid $\mathscr{T}_\mathscr{G}$ is the underlying topological space structure
7
+ of the fried dough. We say that a gastroidal toroid is flavorful if $\lim_{n \to
8
+ \infty} \operatorname{swt}_n(\mathscr{T}_\mathscr{G}) \geq 1$.
9
+ - text: 'Let $A$ be a ring and let $I$ be an ideal. The radical of $I$ is the ideal
10
+ $\sqrt{I} = \{a \in A: a^n \in I \text{ for some } n \geq 0 \}$.'
11
+ - text: In this chapter, we let $k$ denote a field of characteristic $p$ and we let
12
+ $\bar{k}$ denote a fixed algebraic closure.
13
+ ---
special_tokens_map.json CHANGED
@@ -1,7 +1,37 @@
1
  {
2
- "cls_token": "[CLS]",
3
- "mask_token": "[MASK]",
4
- "pad_token": "[PAD]",
5
- "sep_token": "[SEP]",
6
- "unk_token": "[UNK]"
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
7
  }
 
1
  {
2
+ "cls_token": {
3
+ "content": "[CLS]",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "mask_token": {
10
+ "content": "[MASK]",
11
+ "lstrip": false,
12
+ "normalized": false,
13
+ "rstrip": false,
14
+ "single_word": false
15
+ },
16
+ "pad_token": {
17
+ "content": "[PAD]",
18
+ "lstrip": false,
19
+ "normalized": false,
20
+ "rstrip": false,
21
+ "single_word": false
22
+ },
23
+ "sep_token": {
24
+ "content": "[SEP]",
25
+ "lstrip": false,
26
+ "normalized": false,
27
+ "rstrip": false,
28
+ "single_word": false
29
+ },
30
+ "unk_token": {
31
+ "content": "[UNK]",
32
+ "lstrip": false,
33
+ "normalized": false,
34
+ "rstrip": false,
35
+ "single_word": false
36
+ }
37
  }
tokenizer_config.json CHANGED
@@ -1,12 +1,4357 @@
1
  {
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
2
  "cls_token": "[CLS]",
3
  "do_lower_case": true,
4
  "mask_token": "[MASK]",
5
  "model_max_length": 512,
6
- "name_or_path": "models/def_notat_token_model_2024_05_26_5",
7
  "pad_token": "[PAD]",
8
  "sep_token": "[SEP]",
9
- "special_tokens_map_file": null,
10
  "strip_accents": null,
11
  "tokenize_chinese_chars": true,
12
  "tokenizer_class": "DistilBertTokenizer",
 
1
  {
2
+ "added_tokens_decoder": {
3
+ "0": {
4
+ "content": "[PAD]",
5
+ "lstrip": false,
6
+ "normalized": false,
7
+ "rstrip": false,
8
+ "single_word": false,
9
+ "special": true
10
+ },
11
+ "100": {
12
+ "content": "[UNK]",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ },
19
+ "101": {
20
+ "content": "[CLS]",
21
+ "lstrip": false,
22
+ "normalized": false,
23
+ "rstrip": false,
24
+ "single_word": false,
25
+ "special": true
26
+ },
27
+ "102": {
28
+ "content": "[SEP]",
29
+ "lstrip": false,
30
+ "normalized": false,
31
+ "rstrip": false,
32
+ "single_word": false,
33
+ "special": true
34
+ },
35
+ "103": {
36
+ "content": "[MASK]",
37
+ "lstrip": false,
38
+ "normalized": false,
39
+ "rstrip": false,
40
+ "single_word": false,
41
+ "special": true
42
+ },
43
+ "30522": {
44
+ "content": "$$",
45
+ "lstrip": false,
46
+ "normalized": true,
47
+ "rstrip": false,
48
+ "single_word": false,
49
+ "special": false
50
+ },
51
+ "30523": {
52
+ "content": "\\AA",
53
+ "lstrip": false,
54
+ "normalized": true,
55
+ "rstrip": false,
56
+ "single_word": false,
57
+ "special": false
58
+ },
59
+ "30524": {
60
+ "content": "\\C",
61
+ "lstrip": false,
62
+ "normalized": true,
63
+ "rstrip": false,
64
+ "single_word": false,
65
+ "special": false
66
+ },
67
+ "30525": {
68
+ "content": "\\Delta",
69
+ "lstrip": false,
70
+ "normalized": true,
71
+ "rstrip": false,
72
+ "single_word": false,
73
+ "special": false
74
+ },
75
+ "30526": {
76
+ "content": "\\Deltatoo",
77
+ "lstrip": false,
78
+ "normalized": true,
79
+ "rstrip": false,
80
+ "single_word": false,
81
+ "special": false
82
+ },
83
+ "30527": {
84
+ "content": "\\Documents",
85
+ "lstrip": false,
86
+ "normalized": true,
87
+ "rstrip": false,
88
+ "single_word": false,
89
+ "special": false
90
+ },
91
+ "30528": {
92
+ "content": "\\Downarrow",
93
+ "lstrip": false,
94
+ "normalized": true,
95
+ "rstrip": false,
96
+ "single_word": false,
97
+ "special": false
98
+ },
99
+ "30529": {
100
+ "content": "\\Gamma",
101
+ "lstrip": false,
102
+ "normalized": true,
103
+ "rstrip": false,
104
+ "single_word": false,
105
+ "special": false
106
+ },
107
+ "30530": {
108
+ "content": "\\GammaRACT",
109
+ "lstrip": false,
110
+ "normalized": true,
111
+ "rstrip": false,
112
+ "single_word": false,
113
+ "special": false
114
+ },
115
+ "30531": {
116
+ "content": "\\Gammaacts",
117
+ "lstrip": false,
118
+ "normalized": true,
119
+ "rstrip": false,
120
+ "single_word": false,
121
+ "special": false
122
+ },
123
+ "30532": {
124
+ "content": "\\Gammadoes",
125
+ "lstrip": false,
126
+ "normalized": true,
127
+ "rstrip": false,
128
+ "single_word": false,
129
+ "special": false
130
+ },
131
+ "30533": {
132
+ "content": "\\Im",
133
+ "lstrip": false,
134
+ "normalized": true,
135
+ "rstrip": false,
136
+ "single_word": false,
137
+ "special": false
138
+ },
139
+ "30534": {
140
+ "content": "\\Lambda",
141
+ "lstrip": false,
142
+ "normalized": true,
143
+ "rstrip": false,
144
+ "single_word": false,
145
+ "special": false
146
+ },
147
+ "30535": {
148
+ "content": "\\LambdaMPLE",
149
+ "lstrip": false,
150
+ "normalized": true,
151
+ "rstrip": false,
152
+ "single_word": false,
153
+ "special": false
154
+ },
155
+ "30536": {
156
+ "content": "\\LambdaPTER",
157
+ "lstrip": false,
158
+ "normalized": true,
159
+ "rstrip": false,
160
+ "single_word": false,
161
+ "special": false
162
+ },
163
+ "30537": {
164
+ "content": "\\LambdaRK",
165
+ "lstrip": false,
166
+ "normalized": true,
167
+ "rstrip": false,
168
+ "single_word": false,
169
+ "special": false
170
+ },
171
+ "30538": {
172
+ "content": "\\LambdaYNAUD",
173
+ "lstrip": false,
174
+ "normalized": true,
175
+ "rstrip": false,
176
+ "single_word": false,
177
+ "special": false
178
+ },
179
+ "30539": {
180
+ "content": "\\Lambdamodule",
181
+ "lstrip": false,
182
+ "normalized": true,
183
+ "rstrip": false,
184
+ "single_word": false,
185
+ "special": false
186
+ },
187
+ "30540": {
188
+ "content": "\\Lambdamodules",
189
+ "lstrip": false,
190
+ "normalized": true,
191
+ "rstrip": false,
192
+ "single_word": false,
193
+ "special": false
194
+ },
195
+ "30541": {
196
+ "content": "\\Lambdappendix",
197
+ "lstrip": false,
198
+ "normalized": true,
199
+ "rstrip": false,
200
+ "single_word": false,
201
+ "special": false
202
+ },
203
+ "30542": {
204
+ "content": "\\Lambdas",
205
+ "lstrip": false,
206
+ "normalized": true,
207
+ "rstrip": false,
208
+ "single_word": false,
209
+ "special": false
210
+ },
211
+ "30543": {
212
+ "content": "\\Lambdaut",
213
+ "lstrip": false,
214
+ "normalized": true,
215
+ "rstrip": false,
216
+ "single_word": false,
217
+ "special": false
218
+ },
219
+ "30544": {
220
+ "content": "\\Leftarrow",
221
+ "lstrip": false,
222
+ "normalized": true,
223
+ "rstrip": false,
224
+ "single_word": false,
225
+ "special": false
226
+ },
227
+ "30545": {
228
+ "content": "\\leftarrow",
229
+ "lstrip": false,
230
+ "normalized": true,
231
+ "rstrip": false,
232
+ "single_word": false,
233
+ "special": false
234
+ },
235
+ "30546": {
236
+ "content": "\\Leftrightarrow",
237
+ "lstrip": false,
238
+ "normalized": true,
239
+ "rstrip": false,
240
+ "single_word": false,
241
+ "special": false
242
+ },
243
+ "30547": {
244
+ "content": "\\Longleftarrow",
245
+ "lstrip": false,
246
+ "normalized": true,
247
+ "rstrip": false,
248
+ "single_word": false,
249
+ "special": false
250
+ },
251
+ "30548": {
252
+ "content": "\\Longleftrightarrow",
253
+ "lstrip": false,
254
+ "normalized": true,
255
+ "rstrip": false,
256
+ "single_word": false,
257
+ "special": false
258
+ },
259
+ "30549": {
260
+ "content": "\\Longrightarrow",
261
+ "lstrip": false,
262
+ "normalized": true,
263
+ "rstrip": false,
264
+ "single_word": false,
265
+ "special": false
266
+ },
267
+ "30550": {
268
+ "content": "\\M",
269
+ "lstrip": false,
270
+ "normalized": true,
271
+ "rstrip": false,
272
+ "single_word": false,
273
+ "special": false
274
+ },
275
+ "30551": {
276
+ "content": "\\Math",
277
+ "lstrip": false,
278
+ "normalized": true,
279
+ "rstrip": false,
280
+ "single_word": false,
281
+ "special": false
282
+ },
283
+ "30552": {
284
+ "content": "\\Minv",
285
+ "lstrip": false,
286
+ "normalized": true,
287
+ "rstrip": false,
288
+ "single_word": false,
289
+ "special": false
290
+ },
291
+ "30553": {
292
+ "content": "\\Omega",
293
+ "lstrip": false,
294
+ "normalized": true,
295
+ "rstrip": false,
296
+ "single_word": false,
297
+ "special": false
298
+ },
299
+ "30554": {
300
+ "content": "\\Perp",
301
+ "lstrip": false,
302
+ "normalized": true,
303
+ "rstrip": false,
304
+ "single_word": false,
305
+ "special": false
306
+ },
307
+ "30555": {
308
+ "content": "\\PerpI",
309
+ "lstrip": false,
310
+ "normalized": true,
311
+ "rstrip": false,
312
+ "single_word": false,
313
+ "special": false
314
+ },
315
+ "30556": {
316
+ "content": "\\Phi",
317
+ "lstrip": false,
318
+ "normalized": true,
319
+ "rstrip": false,
320
+ "single_word": false,
321
+ "special": false
322
+ },
323
+ "30557": {
324
+ "content": "\\Pi",
325
+ "lstrip": false,
326
+ "normalized": true,
327
+ "rstrip": false,
328
+ "single_word": false,
329
+ "special": false
330
+ },
331
+ "30558": {
332
+ "content": "\\Pisentence",
333
+ "lstrip": false,
334
+ "normalized": true,
335
+ "rstrip": false,
336
+ "single_word": false,
337
+ "special": false
338
+ },
339
+ "30559": {
340
+ "content": "\\Pisentences",
341
+ "lstrip": false,
342
+ "normalized": true,
343
+ "rstrip": false,
344
+ "single_word": false,
345
+ "special": false
346
+ },
347
+ "30560": {
348
+ "content": "\\Psi",
349
+ "lstrip": false,
350
+ "normalized": true,
351
+ "rstrip": false,
352
+ "single_word": false,
353
+ "special": false
354
+ },
355
+ "30561": {
356
+ "content": "\\Psiitself",
357
+ "lstrip": false,
358
+ "normalized": true,
359
+ "rstrip": false,
360
+ "single_word": false,
361
+ "special": false
362
+ },
363
+ "30562": {
364
+ "content": "\\Psipre",
365
+ "lstrip": false,
366
+ "normalized": true,
367
+ "rstrip": false,
368
+ "single_word": false,
369
+ "special": false
370
+ },
371
+ "30563": {
372
+ "content": "\\Psir",
373
+ "lstrip": false,
374
+ "normalized": true,
375
+ "rstrip": false,
376
+ "single_word": false,
377
+ "special": false
378
+ },
379
+ "30564": {
380
+ "content": "\\Re",
381
+ "lstrip": false,
382
+ "normalized": true,
383
+ "rstrip": false,
384
+ "single_word": false,
385
+ "special": false
386
+ },
387
+ "30565": {
388
+ "content": "\\Rightarrow",
389
+ "lstrip": false,
390
+ "normalized": true,
391
+ "rstrip": false,
392
+ "single_word": false,
393
+ "special": false
394
+ },
395
+ "30566": {
396
+ "content": "\\rightarrow",
397
+ "lstrip": false,
398
+ "normalized": true,
399
+ "rstrip": false,
400
+ "single_word": false,
401
+ "special": false
402
+ },
403
+ "30567": {
404
+ "content": "\\S",
405
+ "lstrip": false,
406
+ "normalized": true,
407
+ "rstrip": false,
408
+ "single_word": false,
409
+ "special": false
410
+ },
411
+ "30568": {
412
+ "content": "\\SA",
413
+ "lstrip": false,
414
+ "normalized": true,
415
+ "rstrip": false,
416
+ "single_word": false,
417
+ "special": false
418
+ },
419
+ "30569": {
420
+ "content": "\\SD",
421
+ "lstrip": false,
422
+ "normalized": true,
423
+ "rstrip": false,
424
+ "single_word": false,
425
+ "special": false
426
+ },
427
+ "30570": {
428
+ "content": "\\SE",
429
+ "lstrip": false,
430
+ "normalized": true,
431
+ "rstrip": false,
432
+ "single_word": false,
433
+ "special": false
434
+ },
435
+ "30571": {
436
+ "content": "\\SF",
437
+ "lstrip": false,
438
+ "normalized": true,
439
+ "rstrip": false,
440
+ "single_word": false,
441
+ "special": false
442
+ },
443
+ "30572": {
444
+ "content": "\\SIII",
445
+ "lstrip": false,
446
+ "normalized": true,
447
+ "rstrip": false,
448
+ "single_word": false,
449
+ "special": false
450
+ },
451
+ "30573": {
452
+ "content": "\\SIV",
453
+ "lstrip": false,
454
+ "normalized": true,
455
+ "rstrip": false,
456
+ "single_word": false,
457
+ "special": false
458
+ },
459
+ "30574": {
460
+ "content": "\\SIX",
461
+ "lstrip": false,
462
+ "normalized": true,
463
+ "rstrip": false,
464
+ "single_word": false,
465
+ "special": false
466
+ },
467
+ "30575": {
468
+ "content": "\\SVII",
469
+ "lstrip": false,
470
+ "normalized": true,
471
+ "rstrip": false,
472
+ "single_word": false,
473
+ "special": false
474
+ },
475
+ "30576": {
476
+ "content": "\\Sigma",
477
+ "lstrip": false,
478
+ "normalized": true,
479
+ "rstrip": false,
480
+ "single_word": false,
481
+ "special": false
482
+ },
483
+ "30577": {
484
+ "content": "\\Subset",
485
+ "lstrip": false,
486
+ "normalized": true,
487
+ "rstrip": false,
488
+ "single_word": false,
489
+ "special": false
490
+ },
491
+ "30578": {
492
+ "content": "\\Theta",
493
+ "lstrip": false,
494
+ "normalized": true,
495
+ "rstrip": false,
496
+ "single_word": false,
497
+ "special": false
498
+ },
499
+ "30579": {
500
+ "content": "\\to",
501
+ "lstrip": false,
502
+ "normalized": true,
503
+ "rstrip": false,
504
+ "single_word": false,
505
+ "special": false
506
+ },
507
+ "30580": {
508
+ "content": "\\Uparrow",
509
+ "lstrip": false,
510
+ "normalized": true,
511
+ "rstrip": false,
512
+ "single_word": false,
513
+ "special": false
514
+ },
515
+ "30581": {
516
+ "content": "\\Upsilon",
517
+ "lstrip": false,
518
+ "normalized": true,
519
+ "rstrip": false,
520
+ "single_word": false,
521
+ "special": false
522
+ },
523
+ "30582": {
524
+ "content": "\\Users",
525
+ "lstrip": false,
526
+ "normalized": true,
527
+ "rstrip": false,
528
+ "single_word": false,
529
+ "special": false
530
+ },
531
+ "30583": {
532
+ "content": "\\Varangle",
533
+ "lstrip": false,
534
+ "normalized": true,
535
+ "rstrip": false,
536
+ "single_word": false,
537
+ "special": false
538
+ },
539
+ "30584": {
540
+ "content": "\\Vdash",
541
+ "lstrip": false,
542
+ "normalized": true,
543
+ "rstrip": false,
544
+ "single_word": false,
545
+ "special": false
546
+ },
547
+ "30585": {
548
+ "content": "\\Xi",
549
+ "lstrip": false,
550
+ "normalized": true,
551
+ "rstrip": false,
552
+ "single_word": false,
553
+ "special": false
554
+ },
555
+ "30586": {
556
+ "content": "\\aleph",
557
+ "lstrip": false,
558
+ "normalized": true,
559
+ "rstrip": false,
560
+ "single_word": false,
561
+ "special": false
562
+ },
563
+ "30587": {
564
+ "content": "\\alldifferent",
565
+ "lstrip": false,
566
+ "normalized": true,
567
+ "rstrip": false,
568
+ "single_word": false,
569
+ "special": false
570
+ },
571
+ "30588": {
572
+ "content": "\\alpha",
573
+ "lstrip": false,
574
+ "normalized": true,
575
+ "rstrip": false,
576
+ "single_word": false,
577
+ "special": false
578
+ },
579
+ "30589": {
580
+ "content": "\\alphapointwise",
581
+ "lstrip": false,
582
+ "normalized": true,
583
+ "rstrip": false,
584
+ "single_word": false,
585
+ "special": false
586
+ },
587
+ "30590": {
588
+ "content": "\\alphareversed",
589
+ "lstrip": false,
590
+ "normalized": true,
591
+ "rstrip": false,
592
+ "single_word": false,
593
+ "special": false
594
+ },
595
+ "30591": {
596
+ "content": "\\alphasurjective",
597
+ "lstrip": false,
598
+ "normalized": true,
599
+ "rstrip": false,
600
+ "single_word": false,
601
+ "special": false
602
+ },
603
+ "30592": {
604
+ "content": "\\amalg",
605
+ "lstrip": false,
606
+ "normalized": true,
607
+ "rstrip": false,
608
+ "single_word": false,
609
+ "special": false
610
+ },
611
+ "30593": {
612
+ "content": "\\angle",
613
+ "lstrip": false,
614
+ "normalized": true,
615
+ "rstrip": false,
616
+ "single_word": false,
617
+ "special": false
618
+ },
619
+ "30594": {
620
+ "content": "\\approx",
621
+ "lstrip": false,
622
+ "normalized": true,
623
+ "rstrip": false,
624
+ "single_word": false,
625
+ "special": false
626
+ },
627
+ "30595": {
628
+ "content": "\\arccos",
629
+ "lstrip": false,
630
+ "normalized": true,
631
+ "rstrip": false,
632
+ "single_word": false,
633
+ "special": false
634
+ },
635
+ "30596": {
636
+ "content": "\\arcsin",
637
+ "lstrip": false,
638
+ "normalized": true,
639
+ "rstrip": false,
640
+ "single_word": false,
641
+ "special": false
642
+ },
643
+ "30597": {
644
+ "content": "\\arctan",
645
+ "lstrip": false,
646
+ "normalized": true,
647
+ "rstrip": false,
648
+ "single_word": false,
649
+ "special": false
650
+ },
651
+ "30598": {
652
+ "content": "\\arg",
653
+ "lstrip": false,
654
+ "normalized": true,
655
+ "rstrip": false,
656
+ "single_word": false,
657
+ "special": false
658
+ },
659
+ "30599": {
660
+ "content": "\\ast",
661
+ "lstrip": false,
662
+ "normalized": true,
663
+ "rstrip": false,
664
+ "single_word": false,
665
+ "special": false
666
+ },
667
+ "30600": {
668
+ "content": "\\asymp",
669
+ "lstrip": false,
670
+ "normalized": true,
671
+ "rstrip": false,
672
+ "single_word": false,
673
+ "special": false
674
+ },
675
+ "30601": {
676
+ "content": "\\atop",
677
+ "lstrip": false,
678
+ "normalized": true,
679
+ "rstrip": false,
680
+ "single_word": false,
681
+ "special": false
682
+ },
683
+ "30602": {
684
+ "content": "\\backsim",
685
+ "lstrip": false,
686
+ "normalized": true,
687
+ "rstrip": false,
688
+ "single_word": false,
689
+ "special": false
690
+ },
691
+ "30603": {
692
+ "content": "\\backslash",
693
+ "lstrip": false,
694
+ "normalized": true,
695
+ "rstrip": false,
696
+ "single_word": false,
697
+ "special": false
698
+ },
699
+ "30604": {
700
+ "content": "\\bar",
701
+ "lstrip": false,
702
+ "normalized": true,
703
+ "rstrip": false,
704
+ "single_word": false,
705
+ "special": false
706
+ },
707
+ "30605": {
708
+ "content": "\\because",
709
+ "lstrip": false,
710
+ "normalized": true,
711
+ "rstrip": false,
712
+ "single_word": false,
713
+ "special": false
714
+ },
715
+ "30606": {
716
+ "content": "\\begin",
717
+ "lstrip": false,
718
+ "normalized": true,
719
+ "rstrip": false,
720
+ "single_word": false,
721
+ "special": false
722
+ },
723
+ "30607": {
724
+ "content": "\\beta",
725
+ "lstrip": false,
726
+ "normalized": true,
727
+ "rstrip": false,
728
+ "single_word": false,
729
+ "special": false
730
+ },
731
+ "30608": {
732
+ "content": "\\betaa",
733
+ "lstrip": false,
734
+ "normalized": true,
735
+ "rstrip": false,
736
+ "single_word": false,
737
+ "special": false
738
+ },
739
+ "30609": {
740
+ "content": "\\betaencharacter",
741
+ "lstrip": false,
742
+ "normalized": true,
743
+ "rstrip": false,
744
+ "single_word": false,
745
+ "special": false
746
+ },
747
+ "30610": {
748
+ "content": "\\betaencharakter",
749
+ "lstrip": false,
750
+ "normalized": true,
751
+ "rstrip": false,
752
+ "single_word": false,
753
+ "special": false
754
+ },
755
+ "30611": {
756
+ "content": "\\betaencharaktere",
757
+ "lstrip": false,
758
+ "normalized": true,
759
+ "rstrip": false,
760
+ "single_word": false,
761
+ "special": false
762
+ },
763
+ "30612": {
764
+ "content": "\\betaenoharaktere",
765
+ "lstrip": false,
766
+ "normalized": true,
767
+ "rstrip": false,
768
+ "single_word": false,
769
+ "special": false
770
+ },
771
+ "30613": {
772
+ "content": "\\betaerwesentliche",
773
+ "lstrip": false,
774
+ "normalized": true,
775
+ "rstrip": false,
776
+ "single_word": false,
777
+ "special": false
778
+ },
779
+ "30614": {
780
+ "content": "\\betaeverywhere",
781
+ "lstrip": false,
782
+ "normalized": true,
783
+ "rstrip": false,
784
+ "single_word": false,
785
+ "special": false
786
+ },
787
+ "30615": {
788
+ "content": "\\betao",
789
+ "lstrip": false,
790
+ "normalized": true,
791
+ "rstrip": false,
792
+ "single_word": false,
793
+ "special": false
794
+ },
795
+ "30616": {
796
+ "content": "\\beth",
797
+ "lstrip": false,
798
+ "normalized": true,
799
+ "rstrip": false,
800
+ "single_word": false,
801
+ "special": false
802
+ },
803
+ "30617": {
804
+ "content": "\\bigcap",
805
+ "lstrip": false,
806
+ "normalized": true,
807
+ "rstrip": false,
808
+ "single_word": false,
809
+ "special": false
810
+ },
811
+ "30618": {
812
+ "content": "\\bigcirc",
813
+ "lstrip": false,
814
+ "normalized": true,
815
+ "rstrip": false,
816
+ "single_word": false,
817
+ "special": false
818
+ },
819
+ "30619": {
820
+ "content": "\\bigcup",
821
+ "lstrip": false,
822
+ "normalized": true,
823
+ "rstrip": false,
824
+ "single_word": false,
825
+ "special": false
826
+ },
827
+ "30620": {
828
+ "content": "\\bigodot",
829
+ "lstrip": false,
830
+ "normalized": true,
831
+ "rstrip": false,
832
+ "single_word": false,
833
+ "special": false
834
+ },
835
+ "30621": {
836
+ "content": "\\bigoplus",
837
+ "lstrip": false,
838
+ "normalized": true,
839
+ "rstrip": false,
840
+ "single_word": false,
841
+ "special": false
842
+ },
843
+ "30622": {
844
+ "content": "\\bigotimes",
845
+ "lstrip": false,
846
+ "normalized": true,
847
+ "rstrip": false,
848
+ "single_word": false,
849
+ "special": false
850
+ },
851
+ "30623": {
852
+ "content": "\\bigsqcup",
853
+ "lstrip": false,
854
+ "normalized": true,
855
+ "rstrip": false,
856
+ "single_word": false,
857
+ "special": false
858
+ },
859
+ "30624": {
860
+ "content": "\\bigvee",
861
+ "lstrip": false,
862
+ "normalized": true,
863
+ "rstrip": false,
864
+ "single_word": false,
865
+ "special": false
866
+ },
867
+ "30625": {
868
+ "content": "\\bigwedge",
869
+ "lstrip": false,
870
+ "normalized": true,
871
+ "rstrip": false,
872
+ "single_word": false,
873
+ "special": false
874
+ },
875
+ "30626": {
876
+ "content": "\\binom",
877
+ "lstrip": false,
878
+ "normalized": true,
879
+ "rstrip": false,
880
+ "single_word": false,
881
+ "special": false
882
+ },
883
+ "30627": {
884
+ "content": "\\bmod",
885
+ "lstrip": false,
886
+ "normalized": true,
887
+ "rstrip": false,
888
+ "single_word": false,
889
+ "special": false
890
+ },
891
+ "30628": {
892
+ "content": "\\bmodL",
893
+ "lstrip": false,
894
+ "normalized": true,
895
+ "rstrip": false,
896
+ "single_word": false,
897
+ "special": false
898
+ },
899
+ "30629": {
900
+ "content": "\\boldsymbol",
901
+ "lstrip": false,
902
+ "normalized": true,
903
+ "rstrip": false,
904
+ "single_word": false,
905
+ "special": false
906
+ },
907
+ "30630": {
908
+ "content": "\\bowtie",
909
+ "lstrip": false,
910
+ "normalized": true,
911
+ "rstrip": false,
912
+ "single_word": false,
913
+ "special": false
914
+ },
915
+ "30631": {
916
+ "content": "\\boxminus",
917
+ "lstrip": false,
918
+ "normalized": true,
919
+ "rstrip": false,
920
+ "single_word": false,
921
+ "special": false
922
+ },
923
+ "30632": {
924
+ "content": "\\boxplus",
925
+ "lstrip": false,
926
+ "normalized": true,
927
+ "rstrip": false,
928
+ "single_word": false,
929
+ "special": false
930
+ },
931
+ "30633": {
932
+ "content": "\\boxtimes",
933
+ "lstrip": false,
934
+ "normalized": true,
935
+ "rstrip": false,
936
+ "single_word": false,
937
+ "special": false
938
+ },
939
+ "30634": {
940
+ "content": "\\breve",
941
+ "lstrip": false,
942
+ "normalized": true,
943
+ "rstrip": false,
944
+ "single_word": false,
945
+ "special": false
946
+ },
947
+ "30635": {
948
+ "content": "\\bullet",
949
+ "lstrip": false,
950
+ "normalized": true,
951
+ "rstrip": false,
952
+ "single_word": false,
953
+ "special": false
954
+ },
955
+ "30636": {
956
+ "content": "\\bumpeq",
957
+ "lstrip": false,
958
+ "normalized": true,
959
+ "rstrip": false,
960
+ "single_word": false,
961
+ "special": false
962
+ },
963
+ "30637": {
964
+ "content": "\\cap",
965
+ "lstrip": false,
966
+ "normalized": true,
967
+ "rstrip": false,
968
+ "single_word": false,
969
+ "special": false
970
+ },
971
+ "30638": {
972
+ "content": "\\capV",
973
+ "lstrip": false,
974
+ "normalized": true,
975
+ "rstrip": false,
976
+ "single_word": false,
977
+ "special": false
978
+ },
979
+ "30639": {
980
+ "content": "\\cdot",
981
+ "lstrip": false,
982
+ "normalized": true,
983
+ "rstrip": false,
984
+ "single_word": false,
985
+ "special": false
986
+ },
987
+ "30640": {
988
+ "content": "\\cdotFUNCTIONS",
989
+ "lstrip": false,
990
+ "normalized": true,
991
+ "rstrip": false,
992
+ "single_word": false,
993
+ "special": false
994
+ },
995
+ "30641": {
996
+ "content": "\\cdotideal",
997
+ "lstrip": false,
998
+ "normalized": true,
999
+ "rstrip": false,
1000
+ "single_word": false,
1001
+ "special": false
1002
+ },
1003
+ "30642": {
1004
+ "content": "\\cdotr",
1005
+ "lstrip": false,
1006
+ "normalized": true,
1007
+ "rstrip": false,
1008
+ "single_word": false,
1009
+ "special": false
1010
+ },
1011
+ "30643": {
1012
+ "content": "\\cdots",
1013
+ "lstrip": false,
1014
+ "normalized": true,
1015
+ "rstrip": false,
1016
+ "single_word": false,
1017
+ "special": false
1018
+ },
1019
+ "30644": {
1020
+ "content": "\\cdotss",
1021
+ "lstrip": false,
1022
+ "normalized": true,
1023
+ "rstrip": false,
1024
+ "single_word": false,
1025
+ "special": false
1026
+ },
1027
+ "30645": {
1028
+ "content": "\\cdotvalues",
1029
+ "lstrip": false,
1030
+ "normalized": true,
1031
+ "rstrip": false,
1032
+ "single_word": false,
1033
+ "special": false
1034
+ },
1035
+ "30646": {
1036
+ "content": "\\check",
1037
+ "lstrip": false,
1038
+ "normalized": true,
1039
+ "rstrip": false,
1040
+ "single_word": false,
1041
+ "special": false
1042
+ },
1043
+ "30647": {
1044
+ "content": "\\checkmark",
1045
+ "lstrip": false,
1046
+ "normalized": true,
1047
+ "rstrip": false,
1048
+ "single_word": false,
1049
+ "special": false
1050
+ },
1051
+ "30648": {
1052
+ "content": "\\chi",
1053
+ "lstrip": false,
1054
+ "normalized": true,
1055
+ "rstrip": false,
1056
+ "single_word": false,
1057
+ "special": false
1058
+ },
1059
+ "30649": {
1060
+ "content": "\\circ",
1061
+ "lstrip": false,
1062
+ "normalized": true,
1063
+ "rstrip": false,
1064
+ "single_word": false,
1065
+ "special": false
1066
+ },
1067
+ "30650": {
1068
+ "content": "\\circdet",
1069
+ "lstrip": false,
1070
+ "normalized": true,
1071
+ "rstrip": false,
1072
+ "single_word": false,
1073
+ "special": false
1074
+ },
1075
+ "30651": {
1076
+ "content": "\\circf",
1077
+ "lstrip": false,
1078
+ "normalized": true,
1079
+ "rstrip": false,
1080
+ "single_word": false,
1081
+ "special": false
1082
+ },
1083
+ "30652": {
1084
+ "content": "\\circlearrowleft",
1085
+ "lstrip": false,
1086
+ "normalized": true,
1087
+ "rstrip": false,
1088
+ "single_word": false,
1089
+ "special": false
1090
+ },
1091
+ "30653": {
1092
+ "content": "\\circlearrowright",
1093
+ "lstrip": false,
1094
+ "normalized": true,
1095
+ "rstrip": false,
1096
+ "single_word": false,
1097
+ "special": false
1098
+ },
1099
+ "30654": {
1100
+ "content": "\\circledR",
1101
+ "lstrip": false,
1102
+ "normalized": true,
1103
+ "rstrip": false,
1104
+ "single_word": false,
1105
+ "special": false
1106
+ },
1107
+ "30655": {
1108
+ "content": "\\circledast",
1109
+ "lstrip": false,
1110
+ "normalized": true,
1111
+ "rstrip": false,
1112
+ "single_word": false,
1113
+ "special": false
1114
+ },
1115
+ "30656": {
1116
+ "content": "\\cjkend",
1117
+ "lstrip": false,
1118
+ "normalized": true,
1119
+ "rstrip": false,
1120
+ "single_word": false,
1121
+ "special": false
1122
+ },
1123
+ "30657": {
1124
+ "content": "\\cjkstart",
1125
+ "lstrip": false,
1126
+ "normalized": true,
1127
+ "rstrip": false,
1128
+ "single_word": false,
1129
+ "special": false
1130
+ },
1131
+ "30658": {
1132
+ "content": "\\cline",
1133
+ "lstrip": false,
1134
+ "normalized": true,
1135
+ "rstrip": false,
1136
+ "single_word": false,
1137
+ "special": false
1138
+ },
1139
+ "30659": {
1140
+ "content": "\\complement",
1141
+ "lstrip": false,
1142
+ "normalized": true,
1143
+ "rstrip": false,
1144
+ "single_word": false,
1145
+ "special": false
1146
+ },
1147
+ "30660": {
1148
+ "content": "\\cong",
1149
+ "lstrip": false,
1150
+ "normalized": true,
1151
+ "rstrip": false,
1152
+ "single_word": false,
1153
+ "special": false
1154
+ },
1155
+ "30661": {
1156
+ "content": "\\coprod",
1157
+ "lstrip": false,
1158
+ "normalized": true,
1159
+ "rstrip": false,
1160
+ "single_word": false,
1161
+ "special": false
1162
+ },
1163
+ "30662": {
1164
+ "content": "\\coprodAut",
1165
+ "lstrip": false,
1166
+ "normalized": true,
1167
+ "rstrip": false,
1168
+ "single_word": false,
1169
+ "special": false
1170
+ },
1171
+ "30663": {
1172
+ "content": "\\coprodU",
1173
+ "lstrip": false,
1174
+ "normalized": true,
1175
+ "rstrip": false,
1176
+ "single_word": false,
1177
+ "special": false
1178
+ },
1179
+ "30664": {
1180
+ "content": "\\cos",
1181
+ "lstrip": false,
1182
+ "normalized": true,
1183
+ "rstrip": false,
1184
+ "single_word": false,
1185
+ "special": false
1186
+ },
1187
+ "30665": {
1188
+ "content": "\\cosh",
1189
+ "lstrip": false,
1190
+ "normalized": true,
1191
+ "rstrip": false,
1192
+ "single_word": false,
1193
+ "special": false
1194
+ },
1195
+ "30666": {
1196
+ "content": "\\cot",
1197
+ "lstrip": false,
1198
+ "normalized": true,
1199
+ "rstrip": false,
1200
+ "single_word": false,
1201
+ "special": false
1202
+ },
1203
+ "30667": {
1204
+ "content": "\\cox",
1205
+ "lstrip": false,
1206
+ "normalized": true,
1207
+ "rstrip": false,
1208
+ "single_word": false,
1209
+ "special": false
1210
+ },
1211
+ "30668": {
1212
+ "content": "\\csc",
1213
+ "lstrip": false,
1214
+ "normalized": true,
1215
+ "rstrip": false,
1216
+ "single_word": false,
1217
+ "special": false
1218
+ },
1219
+ "30669": {
1220
+ "content": "\\cup",
1221
+ "lstrip": false,
1222
+ "normalized": true,
1223
+ "rstrip": false,
1224
+ "single_word": false,
1225
+ "special": false
1226
+ },
1227
+ "30670": {
1228
+ "content": "\\curlyvee",
1229
+ "lstrip": false,
1230
+ "normalized": true,
1231
+ "rstrip": false,
1232
+ "single_word": false,
1233
+ "special": false
1234
+ },
1235
+ "30671": {
1236
+ "content": "\\curlywedge",
1237
+ "lstrip": false,
1238
+ "normalized": true,
1239
+ "rstrip": false,
1240
+ "single_word": false,
1241
+ "special": false
1242
+ },
1243
+ "30672": {
1244
+ "content": "\\curvearrowleft",
1245
+ "lstrip": false,
1246
+ "normalized": true,
1247
+ "rstrip": false,
1248
+ "single_word": false,
1249
+ "special": false
1250
+ },
1251
+ "30673": {
1252
+ "content": "\\curvearrowright",
1253
+ "lstrip": false,
1254
+ "normalized": true,
1255
+ "rstrip": false,
1256
+ "single_word": false,
1257
+ "special": false
1258
+ },
1259
+ "30674": {
1260
+ "content": "\\dagger",
1261
+ "lstrip": false,
1262
+ "normalized": true,
1263
+ "rstrip": false,
1264
+ "single_word": false,
1265
+ "special": false
1266
+ },
1267
+ "30675": {
1268
+ "content": "\\dashv",
1269
+ "lstrip": false,
1270
+ "normalized": true,
1271
+ "rstrip": false,
1272
+ "single_word": false,
1273
+ "special": false
1274
+ },
1275
+ "30676": {
1276
+ "content": "\\ddagger",
1277
+ "lstrip": false,
1278
+ "normalized": true,
1279
+ "rstrip": false,
1280
+ "single_word": false,
1281
+ "special": false
1282
+ },
1283
+ "30677": {
1284
+ "content": "\\dddo",
1285
+ "lstrip": false,
1286
+ "normalized": true,
1287
+ "rstrip": false,
1288
+ "single_word": false,
1289
+ "special": false
1290
+ },
1291
+ "30678": {
1292
+ "content": "\\dddot",
1293
+ "lstrip": false,
1294
+ "normalized": true,
1295
+ "rstrip": false,
1296
+ "single_word": false,
1297
+ "special": false
1298
+ },
1299
+ "30679": {
1300
+ "content": "\\ddo",
1301
+ "lstrip": false,
1302
+ "normalized": true,
1303
+ "rstrip": false,
1304
+ "single_word": false,
1305
+ "special": false
1306
+ },
1307
+ "30680": {
1308
+ "content": "\\ddot",
1309
+ "lstrip": false,
1310
+ "normalized": true,
1311
+ "rstrip": false,
1312
+ "single_word": false,
1313
+ "special": false
1314
+ },
1315
+ "30681": {
1316
+ "content": "\\ddots",
1317
+ "lstrip": false,
1318
+ "normalized": true,
1319
+ "rstrip": false,
1320
+ "single_word": false,
1321
+ "special": false
1322
+ },
1323
+ "30682": {
1324
+ "content": "\\delta",
1325
+ "lstrip": false,
1326
+ "normalized": true,
1327
+ "rstrip": false,
1328
+ "single_word": false,
1329
+ "special": false
1330
+ },
1331
+ "30683": {
1332
+ "content": "\\deltafunctor",
1333
+ "lstrip": false,
1334
+ "normalized": true,
1335
+ "rstrip": false,
1336
+ "single_word": false,
1337
+ "special": false
1338
+ },
1339
+ "30684": {
1340
+ "content": "\\diamond",
1341
+ "lstrip": false,
1342
+ "normalized": true,
1343
+ "rstrip": false,
1344
+ "single_word": false,
1345
+ "special": false
1346
+ },
1347
+ "30685": {
1348
+ "content": "\\digamma",
1349
+ "lstrip": false,
1350
+ "normalized": true,
1351
+ "rstrip": false,
1352
+ "single_word": false,
1353
+ "special": false
1354
+ },
1355
+ "30686": {
1356
+ "content": "\\directory",
1357
+ "lstrip": false,
1358
+ "normalized": true,
1359
+ "rstrip": false,
1360
+ "single_word": false,
1361
+ "special": false
1362
+ },
1363
+ "30687": {
1364
+ "content": "\\div",
1365
+ "lstrip": false,
1366
+ "normalized": true,
1367
+ "rstrip": false,
1368
+ "single_word": false,
1369
+ "special": false
1370
+ },
1371
+ "30688": {
1372
+ "content": "\\dot",
1373
+ "lstrip": false,
1374
+ "normalized": true,
1375
+ "rstrip": false,
1376
+ "single_word": false,
1377
+ "special": false
1378
+ },
1379
+ "30689": {
1380
+ "content": "\\doteq",
1381
+ "lstrip": false,
1382
+ "normalized": true,
1383
+ "rstrip": false,
1384
+ "single_word": false,
1385
+ "special": false
1386
+ },
1387
+ "30690": {
1388
+ "content": "\\doteqdot",
1389
+ "lstrip": false,
1390
+ "normalized": true,
1391
+ "rstrip": false,
1392
+ "single_word": false,
1393
+ "special": false
1394
+ },
1395
+ "30691": {
1396
+ "content": "\\dots",
1397
+ "lstrip": false,
1398
+ "normalized": true,
1399
+ "rstrip": false,
1400
+ "single_word": false,
1401
+ "special": false
1402
+ },
1403
+ "30692": {
1404
+ "content": "\\downarrow",
1405
+ "lstrip": false,
1406
+ "normalized": true,
1407
+ "rstrip": false,
1408
+ "single_word": false,
1409
+ "special": false
1410
+ },
1411
+ "30693": {
1412
+ "content": "\\downharpoonright",
1413
+ "lstrip": false,
1414
+ "normalized": true,
1415
+ "rstrip": false,
1416
+ "single_word": false,
1417
+ "special": false
1418
+ },
1419
+ "30694": {
1420
+ "content": "\\ell",
1421
+ "lstrip": false,
1422
+ "normalized": true,
1423
+ "rstrip": false,
1424
+ "single_word": false,
1425
+ "special": false
1426
+ },
1427
+ "30695": {
1428
+ "content": "\\ellholds",
1429
+ "lstrip": false,
1430
+ "normalized": true,
1431
+ "rstrip": false,
1432
+ "single_word": false,
1433
+ "special": false
1434
+ },
1435
+ "30696": {
1436
+ "content": "\\ellrepresentation",
1437
+ "lstrip": false,
1438
+ "normalized": true,
1439
+ "rstrip": false,
1440
+ "single_word": false,
1441
+ "special": false
1442
+ },
1443
+ "30697": {
1444
+ "content": "\\emptyset",
1445
+ "lstrip": false,
1446
+ "normalized": true,
1447
+ "rstrip": false,
1448
+ "single_word": false,
1449
+ "special": false
1450
+ },
1451
+ "30698": {
1452
+ "content": "\\end",
1453
+ "lstrip": false,
1454
+ "normalized": true,
1455
+ "rstrip": false,
1456
+ "single_word": false,
1457
+ "special": false
1458
+ },
1459
+ "30699": {
1460
+ "content": "\\epsilon",
1461
+ "lstrip": false,
1462
+ "normalized": true,
1463
+ "rstrip": false,
1464
+ "single_word": false,
1465
+ "special": false
1466
+ },
1467
+ "30700": {
1468
+ "content": "\\epsilonKer",
1469
+ "lstrip": false,
1470
+ "normalized": true,
1471
+ "rstrip": false,
1472
+ "single_word": false,
1473
+ "special": false
1474
+ },
1475
+ "30701": {
1476
+ "content": "\\equiv",
1477
+ "lstrip": false,
1478
+ "normalized": true,
1479
+ "rstrip": false,
1480
+ "single_word": false,
1481
+ "special": false
1482
+ },
1483
+ "30702": {
1484
+ "content": "\\eta",
1485
+ "lstrip": false,
1486
+ "normalized": true,
1487
+ "rstrip": false,
1488
+ "single_word": false,
1489
+ "special": false
1490
+ },
1491
+ "30703": {
1492
+ "content": "\\ex",
1493
+ "lstrip": false,
1494
+ "normalized": true,
1495
+ "rstrip": false,
1496
+ "single_word": false,
1497
+ "special": false
1498
+ },
1499
+ "30704": {
1500
+ "content": "\\exists",
1501
+ "lstrip": false,
1502
+ "normalized": true,
1503
+ "rstrip": false,
1504
+ "single_word": false,
1505
+ "special": false
1506
+ },
1507
+ "30705": {
1508
+ "content": "\\existsc",
1509
+ "lstrip": false,
1510
+ "normalized": true,
1511
+ "rstrip": false,
1512
+ "single_word": false,
1513
+ "special": false
1514
+ },
1515
+ "30706": {
1516
+ "content": "\\existsclosed",
1517
+ "lstrip": false,
1518
+ "normalized": true,
1519
+ "rstrip": false,
1520
+ "single_word": false,
1521
+ "special": false
1522
+ },
1523
+ "30707": {
1524
+ "content": "\\exp",
1525
+ "lstrip": false,
1526
+ "normalized": true,
1527
+ "rstrip": false,
1528
+ "single_word": false,
1529
+ "special": false
1530
+ },
1531
+ "30708": {
1532
+ "content": "\\fallingdotseq",
1533
+ "lstrip": false,
1534
+ "normalized": true,
1535
+ "rstrip": false,
1536
+ "single_word": false,
1537
+ "special": false
1538
+ },
1539
+ "30709": {
1540
+ "content": "\\forall",
1541
+ "lstrip": false,
1542
+ "normalized": true,
1543
+ "rstrip": false,
1544
+ "single_word": false,
1545
+ "special": false
1546
+ },
1547
+ "30710": {
1548
+ "content": "\\forallsomething",
1549
+ "lstrip": false,
1550
+ "normalized": true,
1551
+ "rstrip": false,
1552
+ "single_word": false,
1553
+ "special": false
1554
+ },
1555
+ "30711": {
1556
+ "content": "\\frac",
1557
+ "lstrip": false,
1558
+ "normalized": true,
1559
+ "rstrip": false,
1560
+ "single_word": false,
1561
+ "special": false
1562
+ },
1563
+ "30712": {
1564
+ "content": "\\frown",
1565
+ "lstrip": false,
1566
+ "normalized": true,
1567
+ "rstrip": false,
1568
+ "single_word": false,
1569
+ "special": false
1570
+ },
1571
+ "30713": {
1572
+ "content": "\\gamma",
1573
+ "lstrip": false,
1574
+ "normalized": true,
1575
+ "rstrip": false,
1576
+ "single_word": false,
1577
+ "special": false
1578
+ },
1579
+ "30714": {
1580
+ "content": "\\gammavalues",
1581
+ "lstrip": false,
1582
+ "normalized": true,
1583
+ "rstrip": false,
1584
+ "single_word": false,
1585
+ "special": false
1586
+ },
1587
+ "30715": {
1588
+ "content": "\\gcd",
1589
+ "lstrip": false,
1590
+ "normalized": true,
1591
+ "rstrip": false,
1592
+ "single_word": false,
1593
+ "special": false
1594
+ },
1595
+ "30716": {
1596
+ "content": "\\geq",
1597
+ "lstrip": false,
1598
+ "normalized": true,
1599
+ "rstrip": false,
1600
+ "single_word": false,
1601
+ "special": false
1602
+ },
1603
+ "30717": {
1604
+ "content": "\\geqq",
1605
+ "lstrip": false,
1606
+ "normalized": true,
1607
+ "rstrip": false,
1608
+ "single_word": false,
1609
+ "special": false
1610
+ },
1611
+ "30718": {
1612
+ "content": "\\geqslant",
1613
+ "lstrip": false,
1614
+ "normalized": true,
1615
+ "rstrip": false,
1616
+ "single_word": false,
1617
+ "special": false
1618
+ },
1619
+ "30719": {
1620
+ "content": "\\gg",
1621
+ "lstrip": false,
1622
+ "normalized": true,
1623
+ "rstrip": false,
1624
+ "single_word": false,
1625
+ "special": false
1626
+ },
1627
+ "30720": {
1628
+ "content": "\\grave",
1629
+ "lstrip": false,
1630
+ "normalized": true,
1631
+ "rstrip": false,
1632
+ "single_word": false,
1633
+ "special": false
1634
+ },
1635
+ "30721": {
1636
+ "content": "\\gtrdot",
1637
+ "lstrip": false,
1638
+ "normalized": true,
1639
+ "rstrip": false,
1640
+ "single_word": false,
1641
+ "special": false
1642
+ },
1643
+ "30722": {
1644
+ "content": "\\gtreqless",
1645
+ "lstrip": false,
1646
+ "normalized": true,
1647
+ "rstrip": false,
1648
+ "single_word": false,
1649
+ "special": false
1650
+ },
1651
+ "30723": {
1652
+ "content": "\\gtrless",
1653
+ "lstrip": false,
1654
+ "normalized": true,
1655
+ "rstrip": false,
1656
+ "single_word": false,
1657
+ "special": false
1658
+ },
1659
+ "30724": {
1660
+ "content": "\\gtrsim",
1661
+ "lstrip": false,
1662
+ "normalized": true,
1663
+ "rstrip": false,
1664
+ "single_word": false,
1665
+ "special": false
1666
+ },
1667
+ "30725": {
1668
+ "content": "\\hat",
1669
+ "lstrip": false,
1670
+ "normalized": true,
1671
+ "rstrip": false,
1672
+ "single_word": false,
1673
+ "special": false
1674
+ },
1675
+ "30726": {
1676
+ "content": "\\hbar",
1677
+ "lstrip": false,
1678
+ "normalized": true,
1679
+ "rstrip": false,
1680
+ "single_word": false,
1681
+ "special": false
1682
+ },
1683
+ "30727": {
1684
+ "content": "\\hdashline",
1685
+ "lstrip": false,
1686
+ "normalized": true,
1687
+ "rstrip": false,
1688
+ "single_word": false,
1689
+ "special": false
1690
+ },
1691
+ "30728": {
1692
+ "content": "\\hline",
1693
+ "lstrip": false,
1694
+ "normalized": true,
1695
+ "rstrip": false,
1696
+ "single_word": false,
1697
+ "special": false
1698
+ },
1699
+ "30729": {
1700
+ "content": "\\hlinee",
1701
+ "lstrip": false,
1702
+ "normalized": true,
1703
+ "rstrip": false,
1704
+ "single_word": false,
1705
+ "special": false
1706
+ },
1707
+ "30730": {
1708
+ "content": "\\hookleftarrow",
1709
+ "lstrip": false,
1710
+ "normalized": true,
1711
+ "rstrip": false,
1712
+ "single_word": false,
1713
+ "special": false
1714
+ },
1715
+ "30731": {
1716
+ "content": "\\hookrightarrow",
1717
+ "lstrip": false,
1718
+ "normalized": true,
1719
+ "rstrip": false,
1720
+ "single_word": false,
1721
+ "special": false
1722
+ },
1723
+ "30732": {
1724
+ "content": "\\hyunj",
1725
+ "lstrip": false,
1726
+ "normalized": true,
1727
+ "rstrip": false,
1728
+ "single_word": false,
1729
+ "special": false
1730
+ },
1731
+ "30733": {
1732
+ "content": "\\iiint",
1733
+ "lstrip": false,
1734
+ "normalized": true,
1735
+ "rstrip": false,
1736
+ "single_word": false,
1737
+ "special": false
1738
+ },
1739
+ "30734": {
1740
+ "content": "\\iint",
1741
+ "lstrip": false,
1742
+ "normalized": true,
1743
+ "rstrip": false,
1744
+ "single_word": false,
1745
+ "special": false
1746
+ },
1747
+ "30735": {
1748
+ "content": "\\imath",
1749
+ "lstrip": false,
1750
+ "normalized": true,
1751
+ "rstrip": false,
1752
+ "single_word": false,
1753
+ "special": false
1754
+ },
1755
+ "30736": {
1756
+ "content": "\\in",
1757
+ "lstrip": false,
1758
+ "normalized": true,
1759
+ "rstrip": false,
1760
+ "single_word": false,
1761
+ "special": false
1762
+ },
1763
+ "30737": {
1764
+ "content": "\\inG",
1765
+ "lstrip": false,
1766
+ "normalized": true,
1767
+ "rstrip": false,
1768
+ "single_word": false,
1769
+ "special": false
1770
+ },
1771
+ "30738": {
1772
+ "content": "\\inMag",
1773
+ "lstrip": false,
1774
+ "normalized": true,
1775
+ "rstrip": false,
1776
+ "single_word": false,
1777
+ "special": false
1778
+ },
1779
+ "30739": {
1780
+ "content": "\\inX",
1781
+ "lstrip": false,
1782
+ "normalized": true,
1783
+ "rstrip": false,
1784
+ "single_word": false,
1785
+ "special": false
1786
+ },
1787
+ "30740": {
1788
+ "content": "\\inf",
1789
+ "lstrip": false,
1790
+ "normalized": true,
1791
+ "rstrip": false,
1792
+ "single_word": false,
1793
+ "special": false
1794
+ },
1795
+ "30741": {
1796
+ "content": "\\infty",
1797
+ "lstrip": false,
1798
+ "normalized": true,
1799
+ "rstrip": false,
1800
+ "single_word": false,
1801
+ "special": false
1802
+ },
1803
+ "30742": {
1804
+ "content": "\\inftyalso",
1805
+ "lstrip": false,
1806
+ "normalized": true,
1807
+ "rstrip": false,
1808
+ "single_word": false,
1809
+ "special": false
1810
+ },
1811
+ "30743": {
1812
+ "content": "\\inftyo",
1813
+ "lstrip": false,
1814
+ "normalized": true,
1815
+ "rstrip": false,
1816
+ "single_word": false,
1817
+ "special": false
1818
+ },
1819
+ "30744": {
1820
+ "content": "\\inftyramifies",
1821
+ "lstrip": false,
1822
+ "normalized": true,
1823
+ "rstrip": false,
1824
+ "single_word": false,
1825
+ "special": false
1826
+ },
1827
+ "30745": {
1828
+ "content": "\\inm",
1829
+ "lstrip": false,
1830
+ "normalized": true,
1831
+ "rstrip": false,
1832
+ "single_word": false,
1833
+ "special": false
1834
+ },
1835
+ "30746": {
1836
+ "content": "\\inn",
1837
+ "lstrip": false,
1838
+ "normalized": true,
1839
+ "rstrip": false,
1840
+ "single_word": false,
1841
+ "special": false
1842
+ },
1843
+ "30747": {
1844
+ "content": "\\int",
1845
+ "lstrip": false,
1846
+ "normalized": true,
1847
+ "rstrip": false,
1848
+ "single_word": false,
1849
+ "special": false
1850
+ },
1851
+ "30748": {
1852
+ "content": "\\intormula",
1853
+ "lstrip": false,
1854
+ "normalized": true,
1855
+ "rstrip": false,
1856
+ "single_word": false,
1857
+ "special": false
1858
+ },
1859
+ "30749": {
1860
+ "content": "\\iota",
1861
+ "lstrip": false,
1862
+ "normalized": true,
1863
+ "rstrip": false,
1864
+ "single_word": false,
1865
+ "special": false
1866
+ },
1867
+ "30750": {
1868
+ "content": "\\jmath",
1869
+ "lstrip": false,
1870
+ "normalized": true,
1871
+ "rstrip": false,
1872
+ "single_word": false,
1873
+ "special": false
1874
+ },
1875
+ "30751": {
1876
+ "content": "\\kappa",
1877
+ "lstrip": false,
1878
+ "normalized": true,
1879
+ "rstrip": false,
1880
+ "single_word": false,
1881
+ "special": false
1882
+ },
1883
+ "30752": {
1884
+ "content": "\\kappai",
1885
+ "lstrip": false,
1886
+ "normalized": true,
1887
+ "rstrip": false,
1888
+ "single_word": false,
1889
+ "special": false
1890
+ },
1891
+ "30753": {
1892
+ "content": "\\kappath",
1893
+ "lstrip": false,
1894
+ "normalized": true,
1895
+ "rstrip": false,
1896
+ "single_word": false,
1897
+ "special": false
1898
+ },
1899
+ "30754": {
1900
+ "content": "\\lambda",
1901
+ "lstrip": false,
1902
+ "normalized": true,
1903
+ "rstrip": false,
1904
+ "single_word": false,
1905
+ "special": false
1906
+ },
1907
+ "30755": {
1908
+ "content": "\\lambdaa",
1909
+ "lstrip": false,
1910
+ "normalized": true,
1911
+ "rstrip": false,
1912
+ "single_word": false,
1913
+ "special": false
1914
+ },
1915
+ "30756": {
1916
+ "content": "\\lambdafinite",
1917
+ "lstrip": false,
1918
+ "normalized": true,
1919
+ "rstrip": false,
1920
+ "single_word": false,
1921
+ "special": false
1922
+ },
1923
+ "30757": {
1924
+ "content": "\\lambdasemiring",
1925
+ "lstrip": false,
1926
+ "normalized": true,
1927
+ "rstrip": false,
1928
+ "single_word": false,
1929
+ "special": false
1930
+ },
1931
+ "30758": {
1932
+ "content": "\\langle",
1933
+ "lstrip": false,
1934
+ "normalized": true,
1935
+ "rstrip": false,
1936
+ "single_word": false,
1937
+ "special": false
1938
+ },
1939
+ "30759": {
1940
+ "content": "\\langlee",
1941
+ "lstrip": false,
1942
+ "normalized": true,
1943
+ "rstrip": false,
1944
+ "single_word": false,
1945
+ "special": false
1946
+ },
1947
+ "30760": {
1948
+ "content": "\\langleu",
1949
+ "lstrip": false,
1950
+ "normalized": true,
1951
+ "rstrip": false,
1952
+ "single_word": false,
1953
+ "special": false
1954
+ },
1955
+ "30761": {
1956
+ "content": "\\langley",
1957
+ "lstrip": false,
1958
+ "normalized": true,
1959
+ "rstrip": false,
1960
+ "single_word": false,
1961
+ "special": false
1962
+ },
1963
+ "30762": {
1964
+ "content": "\\latex",
1965
+ "lstrip": false,
1966
+ "normalized": true,
1967
+ "rstrip": false,
1968
+ "single_word": false,
1969
+ "special": false
1970
+ },
1971
+ "30763": {
1972
+ "content": "\\lceil",
1973
+ "lstrip": false,
1974
+ "normalized": true,
1975
+ "rstrip": false,
1976
+ "single_word": false,
1977
+ "special": false
1978
+ },
1979
+ "30764": {
1980
+ "content": "\\lceilk",
1981
+ "lstrip": false,
1982
+ "normalized": true,
1983
+ "rstrip": false,
1984
+ "single_word": false,
1985
+ "special": false
1986
+ },
1987
+ "30765": {
1988
+ "content": "\\lceiln",
1989
+ "lstrip": false,
1990
+ "normalized": true,
1991
+ "rstrip": false,
1992
+ "single_word": false,
1993
+ "special": false
1994
+ },
1995
+ "30766": {
1996
+ "content": "\\lcm",
1997
+ "lstrip": false,
1998
+ "normalized": true,
1999
+ "rstrip": false,
2000
+ "single_word": false,
2001
+ "special": false
2002
+ },
2003
+ "30767": {
2004
+ "content": "\\ldot",
2005
+ "lstrip": false,
2006
+ "normalized": true,
2007
+ "rstrip": false,
2008
+ "single_word": false,
2009
+ "special": false
2010
+ },
2011
+ "30768": {
2012
+ "content": "\\ldots",
2013
+ "lstrip": false,
2014
+ "normalized": true,
2015
+ "rstrip": false,
2016
+ "single_word": false,
2017
+ "special": false
2018
+ },
2019
+ "30769": {
2020
+ "content": "\\ldotsPROOF",
2021
+ "lstrip": false,
2022
+ "normalized": true,
2023
+ "rstrip": false,
2024
+ "single_word": false,
2025
+ "special": false
2026
+ },
2027
+ "30770": {
2028
+ "content": "\\ldotsetc",
2029
+ "lstrip": false,
2030
+ "normalized": true,
2031
+ "rstrip": false,
2032
+ "single_word": false,
2033
+ "special": false
2034
+ },
2035
+ "30771": {
2036
+ "content": "\\leadsto",
2037
+ "lstrip": false,
2038
+ "normalized": true,
2039
+ "rstrip": false,
2040
+ "single_word": false,
2041
+ "special": false
2042
+ },
2043
+ "30772": {
2044
+ "content": "\\left",
2045
+ "lstrip": false,
2046
+ "normalized": true,
2047
+ "rstrip": false,
2048
+ "single_word": false,
2049
+ "special": false
2050
+ },
2051
+ "30773": {
2052
+ "content": "\\leftleftarrows",
2053
+ "lstrip": false,
2054
+ "normalized": true,
2055
+ "rstrip": false,
2056
+ "single_word": false,
2057
+ "special": false
2058
+ },
2059
+ "30774": {
2060
+ "content": "\\leftrightarrow",
2061
+ "lstrip": false,
2062
+ "normalized": true,
2063
+ "rstrip": false,
2064
+ "single_word": false,
2065
+ "special": false
2066
+ },
2067
+ "30775": {
2068
+ "content": "\\leftrightarrows",
2069
+ "lstrip": false,
2070
+ "normalized": true,
2071
+ "rstrip": false,
2072
+ "single_word": false,
2073
+ "special": false
2074
+ },
2075
+ "30776": {
2076
+ "content": "\\leftrightharpoons",
2077
+ "lstrip": false,
2078
+ "normalized": true,
2079
+ "rstrip": false,
2080
+ "single_word": false,
2081
+ "special": false
2082
+ },
2083
+ "30777": {
2084
+ "content": "\\leq",
2085
+ "lstrip": false,
2086
+ "normalized": true,
2087
+ "rstrip": false,
2088
+ "single_word": false,
2089
+ "special": false
2090
+ },
2091
+ "30778": {
2092
+ "content": "\\leqq",
2093
+ "lstrip": false,
2094
+ "normalized": true,
2095
+ "rstrip": false,
2096
+ "single_word": false,
2097
+ "special": false
2098
+ },
2099
+ "30779": {
2100
+ "content": "\\leqslant",
2101
+ "lstrip": false,
2102
+ "normalized": true,
2103
+ "rstrip": false,
2104
+ "single_word": false,
2105
+ "special": false
2106
+ },
2107
+ "30780": {
2108
+ "content": "\\lessdot",
2109
+ "lstrip": false,
2110
+ "normalized": true,
2111
+ "rstrip": false,
2112
+ "single_word": false,
2113
+ "special": false
2114
+ },
2115
+ "30781": {
2116
+ "content": "\\lesseqgtr",
2117
+ "lstrip": false,
2118
+ "normalized": true,
2119
+ "rstrip": false,
2120
+ "single_word": false,
2121
+ "special": false
2122
+ },
2123
+ "30782": {
2124
+ "content": "\\lessgtr",
2125
+ "lstrip": false,
2126
+ "normalized": true,
2127
+ "rstrip": false,
2128
+ "single_word": false,
2129
+ "special": false
2130
+ },
2131
+ "30783": {
2132
+ "content": "\\lesssim",
2133
+ "lstrip": false,
2134
+ "normalized": true,
2135
+ "rstrip": false,
2136
+ "single_word": false,
2137
+ "special": false
2138
+ },
2139
+ "30784": {
2140
+ "content": "\\lfloor",
2141
+ "lstrip": false,
2142
+ "normalized": true,
2143
+ "rstrip": false,
2144
+ "single_word": false,
2145
+ "special": false
2146
+ },
2147
+ "30785": {
2148
+ "content": "\\lg",
2149
+ "lstrip": false,
2150
+ "normalized": true,
2151
+ "rstrip": false,
2152
+ "single_word": false,
2153
+ "special": false
2154
+ },
2155
+ "30786": {
2156
+ "content": "\\lim",
2157
+ "lstrip": false,
2158
+ "normalized": true,
2159
+ "rstrip": false,
2160
+ "single_word": false,
2161
+ "special": false
2162
+ },
2163
+ "30787": {
2164
+ "content": "\\liminf",
2165
+ "lstrip": false,
2166
+ "normalized": true,
2167
+ "rstrip": false,
2168
+ "single_word": false,
2169
+ "special": false
2170
+ },
2171
+ "30788": {
2172
+ "content": "\\limsup",
2173
+ "lstrip": false,
2174
+ "normalized": true,
2175
+ "rstrip": false,
2176
+ "single_word": false,
2177
+ "special": false
2178
+ },
2179
+ "30789": {
2180
+ "content": "\\ll",
2181
+ "lstrip": false,
2182
+ "normalized": true,
2183
+ "rstrip": false,
2184
+ "single_word": false,
2185
+ "special": false
2186
+ },
2187
+ "30790": {
2188
+ "content": "\\llbracket",
2189
+ "lstrip": false,
2190
+ "normalized": true,
2191
+ "rstrip": false,
2192
+ "single_word": false,
2193
+ "special": false
2194
+ },
2195
+ "30791": {
2196
+ "content": "\\llcorner",
2197
+ "lstrip": false,
2198
+ "normalized": true,
2199
+ "rstrip": false,
2200
+ "single_word": false,
2201
+ "special": false
2202
+ },
2203
+ "30792": {
2204
+ "content": "\\lll",
2205
+ "lstrip": false,
2206
+ "normalized": true,
2207
+ "rstrip": false,
2208
+ "single_word": false,
2209
+ "special": false
2210
+ },
2211
+ "30793": {
2212
+ "content": "\\ln",
2213
+ "lstrip": false,
2214
+ "normalized": true,
2215
+ "rstrip": false,
2216
+ "single_word": false,
2217
+ "special": false
2218
+ },
2219
+ "30794": {
2220
+ "content": "\\log",
2221
+ "lstrip": false,
2222
+ "normalized": true,
2223
+ "rstrip": false,
2224
+ "single_word": false,
2225
+ "special": false
2226
+ },
2227
+ "30795": {
2228
+ "content": "\\longdiv",
2229
+ "lstrip": false,
2230
+ "normalized": true,
2231
+ "rstrip": false,
2232
+ "single_word": false,
2233
+ "special": false
2234
+ },
2235
+ "30796": {
2236
+ "content": "\\longleftarrow",
2237
+ "lstrip": false,
2238
+ "normalized": true,
2239
+ "rstrip": false,
2240
+ "single_word": false,
2241
+ "special": false
2242
+ },
2243
+ "30797": {
2244
+ "content": "\\longleftrightarrow",
2245
+ "lstrip": false,
2246
+ "normalized": true,
2247
+ "rstrip": false,
2248
+ "single_word": false,
2249
+ "special": false
2250
+ },
2251
+ "30798": {
2252
+ "content": "\\longleftrightarrowEfi",
2253
+ "lstrip": false,
2254
+ "normalized": true,
2255
+ "rstrip": false,
2256
+ "single_word": false,
2257
+ "special": false
2258
+ },
2259
+ "30799": {
2260
+ "content": "\\longmapsto",
2261
+ "lstrip": false,
2262
+ "normalized": true,
2263
+ "rstrip": false,
2264
+ "single_word": false,
2265
+ "special": false
2266
+ },
2267
+ "30800": {
2268
+ "content": "\\longmapstomult",
2269
+ "lstrip": false,
2270
+ "normalized": true,
2271
+ "rstrip": false,
2272
+ "single_word": false,
2273
+ "special": false
2274
+ },
2275
+ "30801": {
2276
+ "content": "\\longrightarrow",
2277
+ "lstrip": false,
2278
+ "normalized": true,
2279
+ "rstrip": false,
2280
+ "single_word": false,
2281
+ "special": false
2282
+ },
2283
+ "30802": {
2284
+ "content": "\\lrcorner",
2285
+ "lstrip": false,
2286
+ "normalized": true,
2287
+ "rstrip": false,
2288
+ "single_word": false,
2289
+ "special": false
2290
+ },
2291
+ "30803": {
2292
+ "content": "\\ltimes",
2293
+ "lstrip": false,
2294
+ "normalized": true,
2295
+ "rstrip": false,
2296
+ "single_word": false,
2297
+ "special": false
2298
+ },
2299
+ "30804": {
2300
+ "content": "\\lvert",
2301
+ "lstrip": false,
2302
+ "normalized": true,
2303
+ "rstrip": false,
2304
+ "single_word": false,
2305
+ "special": false
2306
+ },
2307
+ "30805": {
2308
+ "content": "\\mapsto",
2309
+ "lstrip": false,
2310
+ "normalized": true,
2311
+ "rstrip": false,
2312
+ "single_word": false,
2313
+ "special": false
2314
+ },
2315
+ "30806": {
2316
+ "content": "\\mapstoW",
2317
+ "lstrip": false,
2318
+ "normalized": true,
2319
+ "rstrip": false,
2320
+ "single_word": false,
2321
+ "special": false
2322
+ },
2323
+ "30807": {
2324
+ "content": "\\mathbb",
2325
+ "lstrip": false,
2326
+ "normalized": true,
2327
+ "rstrip": false,
2328
+ "single_word": false,
2329
+ "special": false
2330
+ },
2331
+ "30808": {
2332
+ "content": "\\mathbbR",
2333
+ "lstrip": false,
2334
+ "normalized": true,
2335
+ "rstrip": false,
2336
+ "single_word": false,
2337
+ "special": false
2338
+ },
2339
+ "30809": {
2340
+ "content": "\\mathbbZrank",
2341
+ "lstrip": false,
2342
+ "normalized": true,
2343
+ "rstrip": false,
2344
+ "single_word": false,
2345
+ "special": false
2346
+ },
2347
+ "30810": {
2348
+ "content": "\\mathbbZtakes",
2349
+ "lstrip": false,
2350
+ "normalized": true,
2351
+ "rstrip": false,
2352
+ "single_word": false,
2353
+ "special": false
2354
+ },
2355
+ "30811": {
2356
+ "content": "\\mathbbl",
2357
+ "lstrip": false,
2358
+ "normalized": true,
2359
+ "rstrip": false,
2360
+ "single_word": false,
2361
+ "special": false
2362
+ },
2363
+ "30812": {
2364
+ "content": "\\mathbf",
2365
+ "lstrip": false,
2366
+ "normalized": true,
2367
+ "rstrip": false,
2368
+ "single_word": false,
2369
+ "special": false
2370
+ },
2371
+ "30813": {
2372
+ "content": "\\mathcal",
2373
+ "lstrip": false,
2374
+ "normalized": true,
2375
+ "rstrip": false,
2376
+ "single_word": false,
2377
+ "special": false
2378
+ },
2379
+ "30814": {
2380
+ "content": "\\mathcalM",
2381
+ "lstrip": false,
2382
+ "normalized": true,
2383
+ "rstrip": false,
2384
+ "single_word": false,
2385
+ "special": false
2386
+ },
2387
+ "30815": {
2388
+ "content": "\\mathcalom",
2389
+ "lstrip": false,
2390
+ "normalized": true,
2391
+ "rstrip": false,
2392
+ "single_word": false,
2393
+ "special": false
2394
+ },
2395
+ "30816": {
2396
+ "content": "\\mathfrak",
2397
+ "lstrip": false,
2398
+ "normalized": true,
2399
+ "rstrip": false,
2400
+ "single_word": false,
2401
+ "special": false
2402
+ },
2403
+ "30817": {
2404
+ "content": "\\mathrm",
2405
+ "lstrip": false,
2406
+ "normalized": true,
2407
+ "rstrip": false,
2408
+ "single_word": false,
2409
+ "special": false
2410
+ },
2411
+ "30818": {
2412
+ "content": "\\mathscr",
2413
+ "lstrip": false,
2414
+ "normalized": true,
2415
+ "rstrip": false,
2416
+ "single_word": false,
2417
+ "special": false
2418
+ },
2419
+ "30819": {
2420
+ "content": "\\mathscrB",
2421
+ "lstrip": false,
2422
+ "normalized": true,
2423
+ "rstrip": false,
2424
+ "single_word": false,
2425
+ "special": false
2426
+ },
2427
+ "30820": {
2428
+ "content": "\\mathscrS",
2429
+ "lstrip": false,
2430
+ "normalized": true,
2431
+ "rstrip": false,
2432
+ "single_word": false,
2433
+ "special": false
2434
+ },
2435
+ "30821": {
2436
+ "content": "\\mathscrf",
2437
+ "lstrip": false,
2438
+ "normalized": true,
2439
+ "rstrip": false,
2440
+ "single_word": false,
2441
+ "special": false
2442
+ },
2443
+ "30822": {
2444
+ "content": "\\matshcr",
2445
+ "lstrip": false,
2446
+ "normalized": true,
2447
+ "rstrip": false,
2448
+ "single_word": false,
2449
+ "special": false
2450
+ },
2451
+ "30823": {
2452
+ "content": "\\max",
2453
+ "lstrip": false,
2454
+ "normalized": true,
2455
+ "rstrip": false,
2456
+ "single_word": false,
2457
+ "special": false
2458
+ },
2459
+ "30824": {
2460
+ "content": "\\measuredangle",
2461
+ "lstrip": false,
2462
+ "normalized": true,
2463
+ "rstrip": false,
2464
+ "single_word": false,
2465
+ "special": false
2466
+ },
2467
+ "30825": {
2468
+ "content": "\\mho",
2469
+ "lstrip": false,
2470
+ "normalized": true,
2471
+ "rstrip": false,
2472
+ "single_word": false,
2473
+ "special": false
2474
+ },
2475
+ "30826": {
2476
+ "content": "\\mid",
2477
+ "lstrip": false,
2478
+ "normalized": true,
2479
+ "rstrip": false,
2480
+ "single_word": false,
2481
+ "special": false
2482
+ },
2483
+ "30827": {
2484
+ "content": "\\min",
2485
+ "lstrip": false,
2486
+ "normalized": true,
2487
+ "rstrip": false,
2488
+ "single_word": false,
2489
+ "special": false
2490
+ },
2491
+ "30828": {
2492
+ "content": "\\models",
2493
+ "lstrip": false,
2494
+ "normalized": true,
2495
+ "rstrip": false,
2496
+ "single_word": false,
2497
+ "special": false
2498
+ },
2499
+ "30829": {
2500
+ "content": "\\mp",
2501
+ "lstrip": false,
2502
+ "normalized": true,
2503
+ "rstrip": false,
2504
+ "single_word": false,
2505
+ "special": false
2506
+ },
2507
+ "30830": {
2508
+ "content": "\\mu",
2509
+ "lstrip": false,
2510
+ "normalized": true,
2511
+ "rstrip": false,
2512
+ "single_word": false,
2513
+ "special": false
2514
+ },
2515
+ "30831": {
2516
+ "content": "\\mudominant",
2517
+ "lstrip": false,
2518
+ "normalized": true,
2519
+ "rstrip": false,
2520
+ "single_word": false,
2521
+ "special": false
2522
+ },
2523
+ "30832": {
2524
+ "content": "\\muexists",
2525
+ "lstrip": false,
2526
+ "normalized": true,
2527
+ "rstrip": false,
2528
+ "single_word": false,
2529
+ "special": false
2530
+ },
2531
+ "30833": {
2532
+ "content": "\\mufinite",
2533
+ "lstrip": false,
2534
+ "normalized": true,
2535
+ "rstrip": false,
2536
+ "single_word": false,
2537
+ "special": false
2538
+ },
2539
+ "30834": {
2540
+ "content": "\\multicolumn",
2541
+ "lstrip": false,
2542
+ "normalized": true,
2543
+ "rstrip": false,
2544
+ "single_word": false,
2545
+ "special": false
2546
+ },
2547
+ "30835": {
2548
+ "content": "\\multimap",
2549
+ "lstrip": false,
2550
+ "normalized": true,
2551
+ "rstrip": false,
2552
+ "single_word": false,
2553
+ "special": false
2554
+ },
2555
+ "30836": {
2556
+ "content": "\\multirow",
2557
+ "lstrip": false,
2558
+ "normalized": true,
2559
+ "rstrip": false,
2560
+ "single_word": false,
2561
+ "special": false
2562
+ },
2563
+ "30837": {
2564
+ "content": "\\n",
2565
+ "lstrip": false,
2566
+ "normalized": true,
2567
+ "rstrip": false,
2568
+ "single_word": false,
2569
+ "special": false
2570
+ },
2571
+ "30838": {
2572
+ "content": "\\nLeftarrow",
2573
+ "lstrip": false,
2574
+ "normalized": true,
2575
+ "rstrip": false,
2576
+ "single_word": false,
2577
+ "special": false
2578
+ },
2579
+ "30839": {
2580
+ "content": "\\nRightarrow",
2581
+ "lstrip": false,
2582
+ "normalized": true,
2583
+ "rstrip": false,
2584
+ "single_word": false,
2585
+ "special": false
2586
+ },
2587
+ "30840": {
2588
+ "content": "\\nVdash",
2589
+ "lstrip": false,
2590
+ "normalized": true,
2591
+ "rstrip": false,
2592
+ "single_word": false,
2593
+ "special": false
2594
+ },
2595
+ "30841": {
2596
+ "content": "\\nabla",
2597
+ "lstrip": false,
2598
+ "normalized": true,
2599
+ "rstrip": false,
2600
+ "single_word": false,
2601
+ "special": false
2602
+ },
2603
+ "30842": {
2604
+ "content": "\\natural",
2605
+ "lstrip": false,
2606
+ "normalized": true,
2607
+ "rstrip": false,
2608
+ "single_word": false,
2609
+ "special": false
2610
+ },
2611
+ "30843": {
2612
+ "content": "\\nearrow",
2613
+ "lstrip": false,
2614
+ "normalized": true,
2615
+ "rstrip": false,
2616
+ "single_word": false,
2617
+ "special": false
2618
+ },
2619
+ "30844": {
2620
+ "content": "\\neg",
2621
+ "lstrip": false,
2622
+ "normalized": true,
2623
+ "rstrip": false,
2624
+ "single_word": false,
2625
+ "special": false
2626
+ },
2627
+ "30845": {
2628
+ "content": "\\neq",
2629
+ "lstrip": false,
2630
+ "normalized": true,
2631
+ "rstrip": false,
2632
+ "single_word": false,
2633
+ "special": false
2634
+ },
2635
+ "30846": {
2636
+ "content": "\\neqId",
2637
+ "lstrip": false,
2638
+ "normalized": true,
2639
+ "rstrip": false,
2640
+ "single_word": false,
2641
+ "special": false
2642
+ },
2643
+ "30847": {
2644
+ "content": "\\neqid",
2645
+ "lstrip": false,
2646
+ "normalized": true,
2647
+ "rstrip": false,
2648
+ "single_word": false,
2649
+ "special": false
2650
+ },
2651
+ "30848": {
2652
+ "content": "\\nexists",
2653
+ "lstrip": false,
2654
+ "normalized": true,
2655
+ "rstrip": false,
2656
+ "single_word": false,
2657
+ "special": false
2658
+ },
2659
+ "30849": {
2660
+ "content": "\\ngtr",
2661
+ "lstrip": false,
2662
+ "normalized": true,
2663
+ "rstrip": false,
2664
+ "single_word": false,
2665
+ "special": false
2666
+ },
2667
+ "30850": {
2668
+ "content": "\\ni",
2669
+ "lstrip": false,
2670
+ "normalized": true,
2671
+ "rstrip": false,
2672
+ "single_word": false,
2673
+ "special": false
2674
+ },
2675
+ "30851": {
2676
+ "content": "\\nleftarrow",
2677
+ "lstrip": false,
2678
+ "normalized": true,
2679
+ "rstrip": false,
2680
+ "single_word": false,
2681
+ "special": false
2682
+ },
2683
+ "30852": {
2684
+ "content": "\\nless",
2685
+ "lstrip": false,
2686
+ "normalized": true,
2687
+ "rstrip": false,
2688
+ "single_word": false,
2689
+ "special": false
2690
+ },
2691
+ "30853": {
2692
+ "content": "\\nmid",
2693
+ "lstrip": false,
2694
+ "normalized": true,
2695
+ "rstrip": false,
2696
+ "single_word": false,
2697
+ "special": false
2698
+ },
2699
+ "30854": {
2700
+ "content": "\\nmidDisc",
2701
+ "lstrip": false,
2702
+ "normalized": true,
2703
+ "rstrip": false,
2704
+ "single_word": false,
2705
+ "special": false
2706
+ },
2707
+ "30855": {
2708
+ "content": "\\not",
2709
+ "lstrip": false,
2710
+ "normalized": true,
2711
+ "rstrip": false,
2712
+ "single_word": false,
2713
+ "special": false
2714
+ },
2715
+ "30856": {
2716
+ "content": "\\notin",
2717
+ "lstrip": false,
2718
+ "normalized": true,
2719
+ "rstrip": false,
2720
+ "single_word": false,
2721
+ "special": false
2722
+ },
2723
+ "30857": {
2724
+ "content": "\\nprec",
2725
+ "lstrip": false,
2726
+ "normalized": true,
2727
+ "rstrip": false,
2728
+ "single_word": false,
2729
+ "special": false
2730
+ },
2731
+ "30858": {
2732
+ "content": "\\npreceq",
2733
+ "lstrip": false,
2734
+ "normalized": true,
2735
+ "rstrip": false,
2736
+ "single_word": false,
2737
+ "special": false
2738
+ },
2739
+ "30859": {
2740
+ "content": "\\nrightarrow",
2741
+ "lstrip": false,
2742
+ "normalized": true,
2743
+ "rstrip": false,
2744
+ "single_word": false,
2745
+ "special": false
2746
+ },
2747
+ "30860": {
2748
+ "content": "\\nsim",
2749
+ "lstrip": false,
2750
+ "normalized": true,
2751
+ "rstrip": false,
2752
+ "single_word": false,
2753
+ "special": false
2754
+ },
2755
+ "30861": {
2756
+ "content": "\\nsubseteq",
2757
+ "lstrip": false,
2758
+ "normalized": true,
2759
+ "rstrip": false,
2760
+ "single_word": false,
2761
+ "special": false
2762
+ },
2763
+ "30862": {
2764
+ "content": "\\nsucc",
2765
+ "lstrip": false,
2766
+ "normalized": true,
2767
+ "rstrip": false,
2768
+ "single_word": false,
2769
+ "special": false
2770
+ },
2771
+ "30863": {
2772
+ "content": "\\nsucceq",
2773
+ "lstrip": false,
2774
+ "normalized": true,
2775
+ "rstrip": false,
2776
+ "single_word": false,
2777
+ "special": false
2778
+ },
2779
+ "30864": {
2780
+ "content": "\\nsupseteq",
2781
+ "lstrip": false,
2782
+ "normalized": true,
2783
+ "rstrip": false,
2784
+ "single_word": false,
2785
+ "special": false
2786
+ },
2787
+ "30865": {
2788
+ "content": "\\nu",
2789
+ "lstrip": false,
2790
+ "normalized": true,
2791
+ "rstrip": false,
2792
+ "single_word": false,
2793
+ "special": false
2794
+ },
2795
+ "30866": {
2796
+ "content": "\\nvdash",
2797
+ "lstrip": false,
2798
+ "normalized": true,
2799
+ "rstrip": false,
2800
+ "single_word": false,
2801
+ "special": false
2802
+ },
2803
+ "30867": {
2804
+ "content": "\\nwarrow",
2805
+ "lstrip": false,
2806
+ "normalized": true,
2807
+ "rstrip": false,
2808
+ "single_word": false,
2809
+ "special": false
2810
+ },
2811
+ "30868": {
2812
+ "content": "\\odot",
2813
+ "lstrip": false,
2814
+ "normalized": true,
2815
+ "rstrip": false,
2816
+ "single_word": false,
2817
+ "special": false
2818
+ },
2819
+ "30869": {
2820
+ "content": "\\oepratorname",
2821
+ "lstrip": false,
2822
+ "normalized": true,
2823
+ "rstrip": false,
2824
+ "single_word": false,
2825
+ "special": false
2826
+ },
2827
+ "30870": {
2828
+ "content": "\\oiiint",
2829
+ "lstrip": false,
2830
+ "normalized": true,
2831
+ "rstrip": false,
2832
+ "single_word": false,
2833
+ "special": false
2834
+ },
2835
+ "30871": {
2836
+ "content": "\\oiint",
2837
+ "lstrip": false,
2838
+ "normalized": true,
2839
+ "rstrip": false,
2840
+ "single_word": false,
2841
+ "special": false
2842
+ },
2843
+ "30872": {
2844
+ "content": "\\oint",
2845
+ "lstrip": false,
2846
+ "normalized": true,
2847
+ "rstrip": false,
2848
+ "single_word": false,
2849
+ "special": false
2850
+ },
2851
+ "30873": {
2852
+ "content": "\\omega",
2853
+ "lstrip": false,
2854
+ "normalized": true,
2855
+ "rstrip": false,
2856
+ "single_word": false,
2857
+ "special": false
2858
+ },
2859
+ "30874": {
2860
+ "content": "\\omegaest",
2861
+ "lstrip": false,
2862
+ "normalized": true,
2863
+ "rstrip": false,
2864
+ "single_word": false,
2865
+ "special": false
2866
+ },
2867
+ "30875": {
2868
+ "content": "\\ominus",
2869
+ "lstrip": false,
2870
+ "normalized": true,
2871
+ "rstrip": false,
2872
+ "single_word": false,
2873
+ "special": false
2874
+ },
2875
+ "30876": {
2876
+ "content": "\\operatorname",
2877
+ "lstrip": false,
2878
+ "normalized": true,
2879
+ "rstrip": false,
2880
+ "single_word": false,
2881
+ "special": false
2882
+ },
2883
+ "30877": {
2884
+ "content": "\\operatornamemap",
2885
+ "lstrip": false,
2886
+ "normalized": true,
2887
+ "rstrip": false,
2888
+ "single_word": false,
2889
+ "special": false
2890
+ },
2891
+ "30878": {
2892
+ "content": "\\oplus",
2893
+ "lstrip": false,
2894
+ "normalized": true,
2895
+ "rstrip": false,
2896
+ "single_word": false,
2897
+ "special": false
2898
+ },
2899
+ "30879": {
2900
+ "content": "\\oslash",
2901
+ "lstrip": false,
2902
+ "normalized": true,
2903
+ "rstrip": false,
2904
+ "single_word": false,
2905
+ "special": false
2906
+ },
2907
+ "30880": {
2908
+ "content": "\\otimes",
2909
+ "lstrip": false,
2910
+ "normalized": true,
2911
+ "rstrip": false,
2912
+ "single_word": false,
2913
+ "special": false
2914
+ },
2915
+ "30881": {
2916
+ "content": "\\otimese",
2917
+ "lstrip": false,
2918
+ "normalized": true,
2919
+ "rstrip": false,
2920
+ "single_word": false,
2921
+ "special": false
2922
+ },
2923
+ "30882": {
2924
+ "content": "\\overbrace",
2925
+ "lstrip": false,
2926
+ "normalized": true,
2927
+ "rstrip": false,
2928
+ "single_word": false,
2929
+ "special": false
2930
+ },
2931
+ "30883": {
2932
+ "content": "\\overleftarrow",
2933
+ "lstrip": false,
2934
+ "normalized": true,
2935
+ "rstrip": false,
2936
+ "single_word": false,
2937
+ "special": false
2938
+ },
2939
+ "30884": {
2940
+ "content": "\\overleftrightarrow",
2941
+ "lstrip": false,
2942
+ "normalized": true,
2943
+ "rstrip": false,
2944
+ "single_word": false,
2945
+ "special": false
2946
+ },
2947
+ "30885": {
2948
+ "content": "\\overlin",
2949
+ "lstrip": false,
2950
+ "normalized": true,
2951
+ "rstrip": false,
2952
+ "single_word": false,
2953
+ "special": false
2954
+ },
2955
+ "30886": {
2956
+ "content": "\\overline",
2957
+ "lstrip": false,
2958
+ "normalized": true,
2959
+ "rstrip": false,
2960
+ "single_word": false,
2961
+ "special": false
2962
+ },
2963
+ "30887": {
2964
+ "content": "\\overparen",
2965
+ "lstrip": false,
2966
+ "normalized": true,
2967
+ "rstrip": false,
2968
+ "single_word": false,
2969
+ "special": false
2970
+ },
2971
+ "30888": {
2972
+ "content": "\\overrightarrow",
2973
+ "lstrip": false,
2974
+ "normalized": true,
2975
+ "rstrip": false,
2976
+ "single_word": false,
2977
+ "special": false
2978
+ },
2979
+ "30889": {
2980
+ "content": "\\p",
2981
+ "lstrip": false,
2982
+ "normalized": true,
2983
+ "rstrip": false,
2984
+ "single_word": false,
2985
+ "special": false
2986
+ },
2987
+ "30890": {
2988
+ "content": "\\parallel",
2989
+ "lstrip": false,
2990
+ "normalized": true,
2991
+ "rstrip": false,
2992
+ "single_word": false,
2993
+ "special": false
2994
+ },
2995
+ "30891": {
2996
+ "content": "\\partial",
2997
+ "lstrip": false,
2998
+ "normalized": true,
2999
+ "rstrip": false,
3000
+ "single_word": false,
3001
+ "special": false
3002
+ },
3003
+ "30892": {
3004
+ "content": "\\partialM",
3005
+ "lstrip": false,
3006
+ "normalized": true,
3007
+ "rstrip": false,
3008
+ "single_word": false,
3009
+ "special": false
3010
+ },
3011
+ "30893": {
3012
+ "content": "\\partiala",
3013
+ "lstrip": false,
3014
+ "normalized": true,
3015
+ "rstrip": false,
3016
+ "single_word": false,
3017
+ "special": false
3018
+ },
3019
+ "30894": {
3020
+ "content": "\\partialb",
3021
+ "lstrip": false,
3022
+ "normalized": true,
3023
+ "rstrip": false,
3024
+ "single_word": false,
3025
+ "special": false
3026
+ },
3027
+ "30895": {
3028
+ "content": "\\perp",
3029
+ "lstrip": false,
3030
+ "normalized": true,
3031
+ "rstrip": false,
3032
+ "single_word": false,
3033
+ "special": false
3034
+ },
3035
+ "30896": {
3036
+ "content": "\\phi",
3037
+ "lstrip": false,
3038
+ "normalized": true,
3039
+ "rstrip": false,
3040
+ "single_word": false,
3041
+ "special": false
3042
+ },
3043
+ "30897": {
3044
+ "content": "\\phicommute",
3045
+ "lstrip": false,
3046
+ "normalized": true,
3047
+ "rstrip": false,
3048
+ "single_word": false,
3049
+ "special": false
3050
+ },
3051
+ "30898": {
3052
+ "content": "\\pi",
3053
+ "lstrip": false,
3054
+ "normalized": true,
3055
+ "rstrip": false,
3056
+ "single_word": false,
3057
+ "special": false
3058
+ },
3059
+ "30899": {
3060
+ "content": "\\pifinite",
3061
+ "lstrip": false,
3062
+ "normalized": true,
3063
+ "rstrip": false,
3064
+ "single_word": false,
3065
+ "special": false
3066
+ },
3067
+ "30900": {
3068
+ "content": "\\pitchfork",
3069
+ "lstrip": false,
3070
+ "normalized": true,
3071
+ "rstrip": false,
3072
+ "single_word": false,
3073
+ "special": false
3074
+ },
3075
+ "30901": {
3076
+ "content": "\\pitwist",
3077
+ "lstrip": false,
3078
+ "normalized": true,
3079
+ "rstrip": false,
3080
+ "single_word": false,
3081
+ "special": false
3082
+ },
3083
+ "30902": {
3084
+ "content": "\\pm",
3085
+ "lstrip": false,
3086
+ "normalized": true,
3087
+ "rstrip": false,
3088
+ "single_word": false,
3089
+ "special": false
3090
+ },
3091
+ "30903": {
3092
+ "content": "\\prec",
3093
+ "lstrip": false,
3094
+ "normalized": true,
3095
+ "rstrip": false,
3096
+ "single_word": false,
3097
+ "special": false
3098
+ },
3099
+ "30904": {
3100
+ "content": "\\preccurlyeq",
3101
+ "lstrip": false,
3102
+ "normalized": true,
3103
+ "rstrip": false,
3104
+ "single_word": false,
3105
+ "special": false
3106
+ },
3107
+ "30905": {
3108
+ "content": "\\preceq",
3109
+ "lstrip": false,
3110
+ "normalized": true,
3111
+ "rstrip": false,
3112
+ "single_word": false,
3113
+ "special": false
3114
+ },
3115
+ "30906": {
3116
+ "content": "\\precsim",
3117
+ "lstrip": false,
3118
+ "normalized": true,
3119
+ "rstrip": false,
3120
+ "single_word": false,
3121
+ "special": false
3122
+ },
3123
+ "30907": {
3124
+ "content": "\\prime",
3125
+ "lstrip": false,
3126
+ "normalized": true,
3127
+ "rstrip": false,
3128
+ "single_word": false,
3129
+ "special": false
3130
+ },
3131
+ "30908": {
3132
+ "content": "\\prod",
3133
+ "lstrip": false,
3134
+ "normalized": true,
3135
+ "rstrip": false,
3136
+ "single_word": false,
3137
+ "special": false
3138
+ },
3139
+ "30909": {
3140
+ "content": "\\propto",
3141
+ "lstrip": false,
3142
+ "normalized": true,
3143
+ "rstrip": false,
3144
+ "single_word": false,
3145
+ "special": false
3146
+ },
3147
+ "30910": {
3148
+ "content": "\\psi",
3149
+ "lstrip": false,
3150
+ "normalized": true,
3151
+ "rstrip": false,
3152
+ "single_word": false,
3153
+ "special": false
3154
+ },
3155
+ "30911": {
3156
+ "content": "\\psidoes",
3157
+ "lstrip": false,
3158
+ "normalized": true,
3159
+ "rstrip": false,
3160
+ "single_word": false,
3161
+ "special": false
3162
+ },
3163
+ "30912": {
3164
+ "content": "\\qquad",
3165
+ "lstrip": false,
3166
+ "normalized": true,
3167
+ "rstrip": false,
3168
+ "single_word": false,
3169
+ "special": false
3170
+ },
3171
+ "30913": {
3172
+ "content": "\\qua",
3173
+ "lstrip": false,
3174
+ "normalized": true,
3175
+ "rstrip": false,
3176
+ "single_word": false,
3177
+ "special": false
3178
+ },
3179
+ "30914": {
3180
+ "content": "\\quad",
3181
+ "lstrip": false,
3182
+ "normalized": true,
3183
+ "rstrip": false,
3184
+ "single_word": false,
3185
+ "special": false
3186
+ },
3187
+ "30915": {
3188
+ "content": "\\quada",
3189
+ "lstrip": false,
3190
+ "normalized": true,
3191
+ "rstrip": false,
3192
+ "single_word": false,
3193
+ "special": false
3194
+ },
3195
+ "30916": {
3196
+ "content": "\\rangle",
3197
+ "lstrip": false,
3198
+ "normalized": true,
3199
+ "rstrip": false,
3200
+ "single_word": false,
3201
+ "special": false
3202
+ },
3203
+ "30917": {
3204
+ "content": "\\rceil",
3205
+ "lstrip": false,
3206
+ "normalized": true,
3207
+ "rstrip": false,
3208
+ "single_word": false,
3209
+ "special": false
3210
+ },
3211
+ "30918": {
3212
+ "content": "\\rfloor",
3213
+ "lstrip": false,
3214
+ "normalized": true,
3215
+ "rstrip": false,
3216
+ "single_word": false,
3217
+ "special": false
3218
+ },
3219
+ "30919": {
3220
+ "content": "\\rho",
3221
+ "lstrip": false,
3222
+ "normalized": true,
3223
+ "rstrip": false,
3224
+ "single_word": false,
3225
+ "special": false
3226
+ },
3227
+ "30920": {
3228
+ "content": "\\rhofollows",
3229
+ "lstrip": false,
3230
+ "normalized": true,
3231
+ "rstrip": false,
3232
+ "single_word": false,
3233
+ "special": false
3234
+ },
3235
+ "30921": {
3236
+ "content": "\\rhooperator",
3237
+ "lstrip": false,
3238
+ "normalized": true,
3239
+ "rstrip": false,
3240
+ "single_word": false,
3241
+ "special": false
3242
+ },
3243
+ "30922": {
3244
+ "content": "\\right",
3245
+ "lstrip": false,
3246
+ "normalized": true,
3247
+ "rstrip": false,
3248
+ "single_word": false,
3249
+ "special": false
3250
+ },
3251
+ "30923": {
3252
+ "content": "\\rightarrowA",
3253
+ "lstrip": false,
3254
+ "normalized": true,
3255
+ "rstrip": false,
3256
+ "single_word": false,
3257
+ "special": false
3258
+ },
3259
+ "30924": {
3260
+ "content": "\\rightarrowC",
3261
+ "lstrip": false,
3262
+ "normalized": true,
3263
+ "rstrip": false,
3264
+ "single_word": false,
3265
+ "special": false
3266
+ },
3267
+ "30925": {
3268
+ "content": "\\rightarrowFinord",
3269
+ "lstrip": false,
3270
+ "normalized": true,
3271
+ "rstrip": false,
3272
+ "single_word": false,
3273
+ "special": false
3274
+ },
3275
+ "30926": {
3276
+ "content": "\\rightarrowSet",
3277
+ "lstrip": false,
3278
+ "normalized": true,
3279
+ "rstrip": false,
3280
+ "single_word": false,
3281
+ "special": false
3282
+ },
3283
+ "30927": {
3284
+ "content": "\\rightarrowSets",
3285
+ "lstrip": false,
3286
+ "normalized": true,
3287
+ "rstrip": false,
3288
+ "single_word": false,
3289
+ "special": false
3290
+ },
3291
+ "30928": {
3292
+ "content": "\\rightarrowf",
3293
+ "lstrip": false,
3294
+ "normalized": true,
3295
+ "rstrip": false,
3296
+ "single_word": false,
3297
+ "special": false
3298
+ },
3299
+ "30929": {
3300
+ "content": "\\rightharpoonup",
3301
+ "lstrip": false,
3302
+ "normalized": true,
3303
+ "rstrip": false,
3304
+ "single_word": false,
3305
+ "special": false
3306
+ },
3307
+ "30930": {
3308
+ "content": "\\rightleftarrows",
3309
+ "lstrip": false,
3310
+ "normalized": true,
3311
+ "rstrip": false,
3312
+ "single_word": false,
3313
+ "special": false
3314
+ },
3315
+ "30931": {
3316
+ "content": "\\rightleftharpoons",
3317
+ "lstrip": false,
3318
+ "normalized": true,
3319
+ "rstrip": false,
3320
+ "single_word": false,
3321
+ "special": false
3322
+ },
3323
+ "30932": {
3324
+ "content": "\\rightrightarrows",
3325
+ "lstrip": false,
3326
+ "normalized": true,
3327
+ "rstrip": false,
3328
+ "single_word": false,
3329
+ "special": false
3330
+ },
3331
+ "30933": {
3332
+ "content": "\\rightsquigarrow",
3333
+ "lstrip": false,
3334
+ "normalized": true,
3335
+ "rstrip": false,
3336
+ "single_word": false,
3337
+ "special": false
3338
+ },
3339
+ "30934": {
3340
+ "content": "\\risingdotseq",
3341
+ "lstrip": false,
3342
+ "normalized": true,
3343
+ "rstrip": false,
3344
+ "single_word": false,
3345
+ "special": false
3346
+ },
3347
+ "30935": {
3348
+ "content": "\\rrbracket",
3349
+ "lstrip": false,
3350
+ "normalized": true,
3351
+ "rstrip": false,
3352
+ "single_word": false,
3353
+ "special": false
3354
+ },
3355
+ "30936": {
3356
+ "content": "\\rtimes",
3357
+ "lstrip": false,
3358
+ "normalized": true,
3359
+ "rstrip": false,
3360
+ "single_word": false,
3361
+ "special": false
3362
+ },
3363
+ "30937": {
3364
+ "content": "\\rvert",
3365
+ "lstrip": false,
3366
+ "normalized": true,
3367
+ "rstrip": false,
3368
+ "single_word": false,
3369
+ "special": false
3370
+ },
3371
+ "30938": {
3372
+ "content": "\\searrow",
3373
+ "lstrip": false,
3374
+ "normalized": true,
3375
+ "rstrip": false,
3376
+ "single_word": false,
3377
+ "special": false
3378
+ },
3379
+ "30939": {
3380
+ "content": "\\sec",
3381
+ "lstrip": false,
3382
+ "normalized": true,
3383
+ "rstrip": false,
3384
+ "single_word": false,
3385
+ "special": false
3386
+ },
3387
+ "30940": {
3388
+ "content": "\\section",
3389
+ "lstrip": false,
3390
+ "normalized": true,
3391
+ "rstrip": false,
3392
+ "single_word": false,
3393
+ "special": false
3394
+ },
3395
+ "30941": {
3396
+ "content": "\\setminus",
3397
+ "lstrip": false,
3398
+ "normalized": true,
3399
+ "rstrip": false,
3400
+ "single_word": false,
3401
+ "special": false
3402
+ },
3403
+ "30942": {
3404
+ "content": "\\sharp",
3405
+ "lstrip": false,
3406
+ "normalized": true,
3407
+ "rstrip": false,
3408
+ "single_word": false,
3409
+ "special": false
3410
+ },
3411
+ "30943": {
3412
+ "content": "\\sigma",
3413
+ "lstrip": false,
3414
+ "normalized": true,
3415
+ "rstrip": false,
3416
+ "single_word": false,
3417
+ "special": false
3418
+ },
3419
+ "30944": {
3420
+ "content": "\\sim",
3421
+ "lstrip": false,
3422
+ "normalized": true,
3423
+ "rstrip": false,
3424
+ "single_word": false,
3425
+ "special": false
3426
+ },
3427
+ "30945": {
3428
+ "content": "\\simeq",
3429
+ "lstrip": false,
3430
+ "normalized": true,
3431
+ "rstrip": false,
3432
+ "single_word": false,
3433
+ "special": false
3434
+ },
3435
+ "30946": {
3436
+ "content": "\\simeqid",
3437
+ "lstrip": false,
3438
+ "normalized": true,
3439
+ "rstrip": false,
3440
+ "single_word": false,
3441
+ "special": false
3442
+ },
3443
+ "30947": {
3444
+ "content": "\\simr",
3445
+ "lstrip": false,
3446
+ "normalized": true,
3447
+ "rstrip": false,
3448
+ "single_word": false,
3449
+ "special": false
3450
+ },
3451
+ "30948": {
3452
+ "content": "\\sin",
3453
+ "lstrip": false,
3454
+ "normalized": true,
3455
+ "rstrip": false,
3456
+ "single_word": false,
3457
+ "special": false
3458
+ },
3459
+ "30949": {
3460
+ "content": "\\sinh",
3461
+ "lstrip": false,
3462
+ "normalized": true,
3463
+ "rstrip": false,
3464
+ "single_word": false,
3465
+ "special": false
3466
+ },
3467
+ "30950": {
3468
+ "content": "\\smile",
3469
+ "lstrip": false,
3470
+ "normalized": true,
3471
+ "rstrip": false,
3472
+ "single_word": false,
3473
+ "special": false
3474
+ },
3475
+ "30951": {
3476
+ "content": "\\sqcap",
3477
+ "lstrip": false,
3478
+ "normalized": true,
3479
+ "rstrip": false,
3480
+ "single_word": false,
3481
+ "special": false
3482
+ },
3483
+ "30952": {
3484
+ "content": "\\sqcup",
3485
+ "lstrip": false,
3486
+ "normalized": true,
3487
+ "rstrip": false,
3488
+ "single_word": false,
3489
+ "special": false
3490
+ },
3491
+ "30953": {
3492
+ "content": "\\sqrt",
3493
+ "lstrip": false,
3494
+ "normalized": true,
3495
+ "rstrip": false,
3496
+ "single_word": false,
3497
+ "special": false
3498
+ },
3499
+ "30954": {
3500
+ "content": "\\sqsubset",
3501
+ "lstrip": false,
3502
+ "normalized": true,
3503
+ "rstrip": false,
3504
+ "single_word": false,
3505
+ "special": false
3506
+ },
3507
+ "30955": {
3508
+ "content": "\\sqsubseteq",
3509
+ "lstrip": false,
3510
+ "normalized": true,
3511
+ "rstrip": false,
3512
+ "single_word": false,
3513
+ "special": false
3514
+ },
3515
+ "30956": {
3516
+ "content": "\\sqsupset",
3517
+ "lstrip": false,
3518
+ "normalized": true,
3519
+ "rstrip": false,
3520
+ "single_word": false,
3521
+ "special": false
3522
+ },
3523
+ "30957": {
3524
+ "content": "\\sqsupseteq",
3525
+ "lstrip": false,
3526
+ "normalized": true,
3527
+ "rstrip": false,
3528
+ "single_word": false,
3529
+ "special": false
3530
+ },
3531
+ "30958": {
3532
+ "content": "\\square",
3533
+ "lstrip": false,
3534
+ "normalized": true,
3535
+ "rstrip": false,
3536
+ "single_word": false,
3537
+ "special": false
3538
+ },
3539
+ "30959": {
3540
+ "content": "\\stackrel",
3541
+ "lstrip": false,
3542
+ "normalized": true,
3543
+ "rstrip": false,
3544
+ "single_word": false,
3545
+ "special": false
3546
+ },
3547
+ "30960": {
3548
+ "content": "\\star",
3549
+ "lstrip": false,
3550
+ "normalized": true,
3551
+ "rstrip": false,
3552
+ "single_word": false,
3553
+ "special": false
3554
+ },
3555
+ "30961": {
3556
+ "content": "\\starEXERCISE",
3557
+ "lstrip": false,
3558
+ "normalized": true,
3559
+ "rstrip": false,
3560
+ "single_word": false,
3561
+ "special": false
3562
+ },
3563
+ "30962": {
3564
+ "content": "\\subsection",
3565
+ "lstrip": false,
3566
+ "normalized": true,
3567
+ "rstrip": false,
3568
+ "single_word": false,
3569
+ "special": false
3570
+ },
3571
+ "30963": {
3572
+ "content": "\\subset",
3573
+ "lstrip": false,
3574
+ "normalized": true,
3575
+ "rstrip": false,
3576
+ "single_word": false,
3577
+ "special": false
3578
+ },
3579
+ "30964": {
3580
+ "content": "\\subsetA",
3581
+ "lstrip": false,
3582
+ "normalized": true,
3583
+ "rstrip": false,
3584
+ "single_word": false,
3585
+ "special": false
3586
+ },
3587
+ "30965": {
3588
+ "content": "\\subsetM",
3589
+ "lstrip": false,
3590
+ "normalized": true,
3591
+ "rstrip": false,
3592
+ "single_word": false,
3593
+ "special": false
3594
+ },
3595
+ "30966": {
3596
+ "content": "\\subseteq",
3597
+ "lstrip": false,
3598
+ "normalized": true,
3599
+ "rstrip": false,
3600
+ "single_word": false,
3601
+ "special": false
3602
+ },
3603
+ "30967": {
3604
+ "content": "\\subseteqW",
3605
+ "lstrip": false,
3606
+ "normalized": true,
3607
+ "rstrip": false,
3608
+ "single_word": false,
3609
+ "special": false
3610
+ },
3611
+ "30968": {
3612
+ "content": "\\subsetneq",
3613
+ "lstrip": false,
3614
+ "normalized": true,
3615
+ "rstrip": false,
3616
+ "single_word": false,
3617
+ "special": false
3618
+ },
3619
+ "30969": {
3620
+ "content": "\\substack",
3621
+ "lstrip": false,
3622
+ "normalized": true,
3623
+ "rstrip": false,
3624
+ "single_word": false,
3625
+ "special": false
3626
+ },
3627
+ "30970": {
3628
+ "content": "\\subsubsection",
3629
+ "lstrip": false,
3630
+ "normalized": true,
3631
+ "rstrip": false,
3632
+ "single_word": false,
3633
+ "special": false
3634
+ },
3635
+ "30971": {
3636
+ "content": "\\succ",
3637
+ "lstrip": false,
3638
+ "normalized": true,
3639
+ "rstrip": false,
3640
+ "single_word": false,
3641
+ "special": false
3642
+ },
3643
+ "30972": {
3644
+ "content": "\\succcurlyeq",
3645
+ "lstrip": false,
3646
+ "normalized": true,
3647
+ "rstrip": false,
3648
+ "single_word": false,
3649
+ "special": false
3650
+ },
3651
+ "30973": {
3652
+ "content": "\\succeq",
3653
+ "lstrip": false,
3654
+ "normalized": true,
3655
+ "rstrip": false,
3656
+ "single_word": false,
3657
+ "special": false
3658
+ },
3659
+ "30974": {
3660
+ "content": "\\succsim",
3661
+ "lstrip": false,
3662
+ "normalized": true,
3663
+ "rstrip": false,
3664
+ "single_word": false,
3665
+ "special": false
3666
+ },
3667
+ "30975": {
3668
+ "content": "\\sum",
3669
+ "lstrip": false,
3670
+ "normalized": true,
3671
+ "rstrip": false,
3672
+ "single_word": false,
3673
+ "special": false
3674
+ },
3675
+ "30976": {
3676
+ "content": "\\sup",
3677
+ "lstrip": false,
3678
+ "normalized": true,
3679
+ "rstrip": false,
3680
+ "single_word": false,
3681
+ "special": false
3682
+ },
3683
+ "30977": {
3684
+ "content": "\\supset",
3685
+ "lstrip": false,
3686
+ "normalized": true,
3687
+ "rstrip": false,
3688
+ "single_word": false,
3689
+ "special": false
3690
+ },
3691
+ "30978": {
3692
+ "content": "\\supseteq",
3693
+ "lstrip": false,
3694
+ "normalized": true,
3695
+ "rstrip": false,
3696
+ "single_word": false,
3697
+ "special": false
3698
+ },
3699
+ "30979": {
3700
+ "content": "\\supseteqq",
3701
+ "lstrip": false,
3702
+ "normalized": true,
3703
+ "rstrip": false,
3704
+ "single_word": false,
3705
+ "special": false
3706
+ },
3707
+ "30980": {
3708
+ "content": "\\supsetneq",
3709
+ "lstrip": false,
3710
+ "normalized": true,
3711
+ "rstrip": false,
3712
+ "single_word": false,
3713
+ "special": false
3714
+ },
3715
+ "30981": {
3716
+ "content": "\\supsetneqq",
3717
+ "lstrip": false,
3718
+ "normalized": true,
3719
+ "rstrip": false,
3720
+ "single_word": false,
3721
+ "special": false
3722
+ },
3723
+ "30982": {
3724
+ "content": "\\swarrow",
3725
+ "lstrip": false,
3726
+ "normalized": true,
3727
+ "rstrip": false,
3728
+ "single_word": false,
3729
+ "special": false
3730
+ },
3731
+ "30983": {
3732
+ "content": "\\tag",
3733
+ "lstrip": false,
3734
+ "normalized": true,
3735
+ "rstrip": false,
3736
+ "single_word": false,
3737
+ "special": false
3738
+ },
3739
+ "30984": {
3740
+ "content": "\\tan",
3741
+ "lstrip": false,
3742
+ "normalized": true,
3743
+ "rstrip": false,
3744
+ "single_word": false,
3745
+ "special": false
3746
+ },
3747
+ "30985": {
3748
+ "content": "\\tanh",
3749
+ "lstrip": false,
3750
+ "normalized": true,
3751
+ "rstrip": false,
3752
+ "single_word": false,
3753
+ "special": false
3754
+ },
3755
+ "30986": {
3756
+ "content": "\\tau",
3757
+ "lstrip": false,
3758
+ "normalized": true,
3759
+ "rstrip": false,
3760
+ "single_word": false,
3761
+ "special": false
3762
+ },
3763
+ "30987": {
3764
+ "content": "\\taualent",
3765
+ "lstrip": false,
3766
+ "normalized": true,
3767
+ "rstrip": false,
3768
+ "single_word": false,
3769
+ "special": false
3770
+ },
3771
+ "30988": {
3772
+ "content": "\\tauariety",
3773
+ "lstrip": false,
3774
+ "normalized": true,
3775
+ "rstrip": false,
3776
+ "single_word": false,
3777
+ "special": false
3778
+ },
3779
+ "30989": {
3780
+ "content": "\\tauphism",
3781
+ "lstrip": false,
3782
+ "normalized": true,
3783
+ "rstrip": false,
3784
+ "single_word": false,
3785
+ "special": false
3786
+ },
3787
+ "30990": {
3788
+ "content": "\\tauphistn",
3789
+ "lstrip": false,
3790
+ "normalized": true,
3791
+ "rstrip": false,
3792
+ "single_word": false,
3793
+ "special": false
3794
+ },
3795
+ "30991": {
3796
+ "content": "\\taupure",
3797
+ "lstrip": false,
3798
+ "normalized": true,
3799
+ "rstrip": false,
3800
+ "single_word": false,
3801
+ "special": false
3802
+ },
3803
+ "30992": {
3804
+ "content": "\\text",
3805
+ "lstrip": false,
3806
+ "normalized": true,
3807
+ "rstrip": false,
3808
+ "single_word": false,
3809
+ "special": false
3810
+ },
3811
+ "30993": {
3812
+ "content": "\\textbf",
3813
+ "lstrip": false,
3814
+ "normalized": true,
3815
+ "rstrip": false,
3816
+ "single_word": false,
3817
+ "special": false
3818
+ },
3819
+ "30994": {
3820
+ "content": "\\textrm",
3821
+ "lstrip": false,
3822
+ "normalized": true,
3823
+ "rstrip": false,
3824
+ "single_word": false,
3825
+ "special": false
3826
+ },
3827
+ "30995": {
3828
+ "content": "\\textrmK",
3829
+ "lstrip": false,
3830
+ "normalized": true,
3831
+ "rstrip": false,
3832
+ "single_word": false,
3833
+ "special": false
3834
+ },
3835
+ "30996": {
3836
+ "content": "\\therefore",
3837
+ "lstrip": false,
3838
+ "normalized": true,
3839
+ "rstrip": false,
3840
+ "single_word": false,
3841
+ "special": false
3842
+ },
3843
+ "30997": {
3844
+ "content": "\\theta",
3845
+ "lstrip": false,
3846
+ "normalized": true,
3847
+ "rstrip": false,
3848
+ "single_word": false,
3849
+ "special": false
3850
+ },
3851
+ "30998": {
3852
+ "content": "\\thetaalone",
3853
+ "lstrip": false,
3854
+ "normalized": true,
3855
+ "rstrip": false,
3856
+ "single_word": false,
3857
+ "special": false
3858
+ },
3859
+ "30999": {
3860
+ "content": "\\thetaexplicit",
3861
+ "lstrip": false,
3862
+ "normalized": true,
3863
+ "rstrip": false,
3864
+ "single_word": false,
3865
+ "special": false
3866
+ },
3867
+ "31000": {
3868
+ "content": "\\thetaworks",
3869
+ "lstrip": false,
3870
+ "normalized": true,
3871
+ "rstrip": false,
3872
+ "single_word": false,
3873
+ "special": false
3874
+ },
3875
+ "31001": {
3876
+ "content": "\\tilde",
3877
+ "lstrip": false,
3878
+ "normalized": true,
3879
+ "rstrip": false,
3880
+ "single_word": false,
3881
+ "special": false
3882
+ },
3883
+ "31002": {
3884
+ "content": "\\times",
3885
+ "lstrip": false,
3886
+ "normalized": true,
3887
+ "rstrip": false,
3888
+ "single_word": false,
3889
+ "special": false
3890
+ },
3891
+ "31003": {
3892
+ "content": "\\timesm",
3893
+ "lstrip": false,
3894
+ "normalized": true,
3895
+ "rstrip": false,
3896
+ "single_word": false,
3897
+ "special": false
3898
+ },
3899
+ "31004": {
3900
+ "content": "\\top",
3901
+ "lstrip": false,
3902
+ "normalized": true,
3903
+ "rstrip": false,
3904
+ "single_word": false,
3905
+ "special": false
3906
+ },
3907
+ "31005": {
3908
+ "content": "\\triangle",
3909
+ "lstrip": false,
3910
+ "normalized": true,
3911
+ "rstrip": false,
3912
+ "single_word": false,
3913
+ "special": false
3914
+ },
3915
+ "31006": {
3916
+ "content": "\\triangleleft",
3917
+ "lstrip": false,
3918
+ "normalized": true,
3919
+ "rstrip": false,
3920
+ "single_word": false,
3921
+ "special": false
3922
+ },
3923
+ "31007": {
3924
+ "content": "\\triangleq",
3925
+ "lstrip": false,
3926
+ "normalized": true,
3927
+ "rstrip": false,
3928
+ "single_word": false,
3929
+ "special": false
3930
+ },
3931
+ "31008": {
3932
+ "content": "\\triangleright",
3933
+ "lstrip": false,
3934
+ "normalized": true,
3935
+ "rstrip": false,
3936
+ "single_word": false,
3937
+ "special": false
3938
+ },
3939
+ "31009": {
3940
+ "content": "\\ulcorner",
3941
+ "lstrip": false,
3942
+ "normalized": true,
3943
+ "rstrip": false,
3944
+ "single_word": false,
3945
+ "special": false
3946
+ },
3947
+ "31010": {
3948
+ "content": "\\underbrace",
3949
+ "lstrip": false,
3950
+ "normalized": true,
3951
+ "rstrip": false,
3952
+ "single_word": false,
3953
+ "special": false
3954
+ },
3955
+ "31011": {
3956
+ "content": "\\underline",
3957
+ "lstrip": false,
3958
+ "normalized": true,
3959
+ "rstrip": false,
3960
+ "single_word": false,
3961
+ "special": false
3962
+ },
3963
+ "31012": {
3964
+ "content": "\\underset",
3965
+ "lstrip": false,
3966
+ "normalized": true,
3967
+ "rstrip": false,
3968
+ "single_word": false,
3969
+ "special": false
3970
+ },
3971
+ "31013": {
3972
+ "content": "\\unlhd",
3973
+ "lstrip": false,
3974
+ "normalized": true,
3975
+ "rstrip": false,
3976
+ "single_word": false,
3977
+ "special": false
3978
+ },
3979
+ "31014": {
3980
+ "content": "\\unrhd",
3981
+ "lstrip": false,
3982
+ "normalized": true,
3983
+ "rstrip": false,
3984
+ "single_word": false,
3985
+ "special": false
3986
+ },
3987
+ "31015": {
3988
+ "content": "\\uparrow",
3989
+ "lstrip": false,
3990
+ "normalized": true,
3991
+ "rstrip": false,
3992
+ "single_word": false,
3993
+ "special": false
3994
+ },
3995
+ "31016": {
3996
+ "content": "\\upharpoonleft",
3997
+ "lstrip": false,
3998
+ "normalized": true,
3999
+ "rstrip": false,
4000
+ "single_word": false,
4001
+ "special": false
4002
+ },
4003
+ "31017": {
4004
+ "content": "\\upharpoonright",
4005
+ "lstrip": false,
4006
+ "normalized": true,
4007
+ "rstrip": false,
4008
+ "single_word": false,
4009
+ "special": false
4010
+ },
4011
+ "31018": {
4012
+ "content": "\\uplus",
4013
+ "lstrip": false,
4014
+ "normalized": true,
4015
+ "rstrip": false,
4016
+ "single_word": false,
4017
+ "special": false
4018
+ },
4019
+ "31019": {
4020
+ "content": "\\urcorner",
4021
+ "lstrip": false,
4022
+ "normalized": true,
4023
+ "rstrip": false,
4024
+ "single_word": false,
4025
+ "special": false
4026
+ },
4027
+ "31020": {
4028
+ "content": "\\vDash",
4029
+ "lstrip": false,
4030
+ "normalized": true,
4031
+ "rstrip": false,
4032
+ "single_word": false,
4033
+ "special": false
4034
+ },
4035
+ "31021": {
4036
+ "content": "\\varangle",
4037
+ "lstrip": false,
4038
+ "normalized": true,
4039
+ "rstrip": false,
4040
+ "single_word": false,
4041
+ "special": false
4042
+ },
4043
+ "31022": {
4044
+ "content": "\\varepsilon",
4045
+ "lstrip": false,
4046
+ "normalized": true,
4047
+ "rstrip": false,
4048
+ "single_word": false,
4049
+ "special": false
4050
+ },
4051
+ "31023": {
4052
+ "content": "\\varepsilona",
4053
+ "lstrip": false,
4054
+ "normalized": true,
4055
+ "rstrip": false,
4056
+ "single_word": false,
4057
+ "special": false
4058
+ },
4059
+ "31024": {
4060
+ "content": "\\varepsilonarrow",
4061
+ "lstrip": false,
4062
+ "normalized": true,
4063
+ "rstrip": false,
4064
+ "single_word": false,
4065
+ "special": false
4066
+ },
4067
+ "31025": {
4068
+ "content": "\\varepsilonarrows",
4069
+ "lstrip": false,
4070
+ "normalized": true,
4071
+ "rstrip": false,
4072
+ "single_word": false,
4073
+ "special": false
4074
+ },
4075
+ "31026": {
4076
+ "content": "\\varinjlim",
4077
+ "lstrip": false,
4078
+ "normalized": true,
4079
+ "rstrip": false,
4080
+ "single_word": false,
4081
+ "special": false
4082
+ },
4083
+ "31027": {
4084
+ "content": "\\varkappa",
4085
+ "lstrip": false,
4086
+ "normalized": true,
4087
+ "rstrip": false,
4088
+ "single_word": false,
4089
+ "special": false
4090
+ },
4091
+ "31028": {
4092
+ "content": "\\varliminf",
4093
+ "lstrip": false,
4094
+ "normalized": true,
4095
+ "rstrip": false,
4096
+ "single_word": false,
4097
+ "special": false
4098
+ },
4099
+ "31029": {
4100
+ "content": "\\varlimsup",
4101
+ "lstrip": false,
4102
+ "normalized": true,
4103
+ "rstrip": false,
4104
+ "single_word": false,
4105
+ "special": false
4106
+ },
4107
+ "31030": {
4108
+ "content": "\\varnothing",
4109
+ "lstrip": false,
4110
+ "normalized": true,
4111
+ "rstrip": false,
4112
+ "single_word": false,
4113
+ "special": false
4114
+ },
4115
+ "31031": {
4116
+ "content": "\\varphi",
4117
+ "lstrip": false,
4118
+ "normalized": true,
4119
+ "rstrip": false,
4120
+ "single_word": false,
4121
+ "special": false
4122
+ },
4123
+ "31032": {
4124
+ "content": "\\varphiare",
4125
+ "lstrip": false,
4126
+ "normalized": true,
4127
+ "rstrip": false,
4128
+ "single_word": false,
4129
+ "special": false
4130
+ },
4131
+ "31033": {
4132
+ "content": "\\varphiitself",
4133
+ "lstrip": false,
4134
+ "normalized": true,
4135
+ "rstrip": false,
4136
+ "single_word": false,
4137
+ "special": false
4138
+ },
4139
+ "31034": {
4140
+ "content": "\\varphiw",
4141
+ "lstrip": false,
4142
+ "normalized": true,
4143
+ "rstrip": false,
4144
+ "single_word": false,
4145
+ "special": false
4146
+ },
4147
+ "31035": {
4148
+ "content": "\\varpi",
4149
+ "lstrip": false,
4150
+ "normalized": true,
4151
+ "rstrip": false,
4152
+ "single_word": false,
4153
+ "special": false
4154
+ },
4155
+ "31036": {
4156
+ "content": "\\varprojlim",
4157
+ "lstrip": false,
4158
+ "normalized": true,
4159
+ "rstrip": false,
4160
+ "single_word": false,
4161
+ "special": false
4162
+ },
4163
+ "31037": {
4164
+ "content": "\\varrho",
4165
+ "lstrip": false,
4166
+ "normalized": true,
4167
+ "rstrip": false,
4168
+ "single_word": false,
4169
+ "special": false
4170
+ },
4171
+ "31038": {
4172
+ "content": "\\varsigma",
4173
+ "lstrip": false,
4174
+ "normalized": true,
4175
+ "rstrip": false,
4176
+ "single_word": false,
4177
+ "special": false
4178
+ },
4179
+ "31039": {
4180
+ "content": "\\varsubsetneqq",
4181
+ "lstrip": false,
4182
+ "normalized": true,
4183
+ "rstrip": false,
4184
+ "single_word": false,
4185
+ "special": false
4186
+ },
4187
+ "31040": {
4188
+ "content": "\\vartheta",
4189
+ "lstrip": false,
4190
+ "normalized": true,
4191
+ "rstrip": false,
4192
+ "single_word": false,
4193
+ "special": false
4194
+ },
4195
+ "31041": {
4196
+ "content": "\\varthetaa",
4197
+ "lstrip": false,
4198
+ "normalized": true,
4199
+ "rstrip": false,
4200
+ "single_word": false,
4201
+ "special": false
4202
+ },
4203
+ "31042": {
4204
+ "content": "\\vdash",
4205
+ "lstrip": false,
4206
+ "normalized": true,
4207
+ "rstrip": false,
4208
+ "single_word": false,
4209
+ "special": false
4210
+ },
4211
+ "31043": {
4212
+ "content": "\\vdots",
4213
+ "lstrip": false,
4214
+ "normalized": true,
4215
+ "rstrip": false,
4216
+ "single_word": false,
4217
+ "special": false
4218
+ },
4219
+ "31044": {
4220
+ "content": "\\vec",
4221
+ "lstrip": false,
4222
+ "normalized": true,
4223
+ "rstrip": false,
4224
+ "single_word": false,
4225
+ "special": false
4226
+ },
4227
+ "31045": {
4228
+ "content": "\\vecara",
4229
+ "lstrip": false,
4230
+ "normalized": true,
4231
+ "rstrip": false,
4232
+ "single_word": false,
4233
+ "special": false
4234
+ },
4235
+ "31046": {
4236
+ "content": "\\vee",
4237
+ "lstrip": false,
4238
+ "normalized": true,
4239
+ "rstrip": false,
4240
+ "single_word": false,
4241
+ "special": false
4242
+ },
4243
+ "31047": {
4244
+ "content": "\\vigvec",
4245
+ "lstrip": false,
4246
+ "normalized": true,
4247
+ "rstrip": false,
4248
+ "single_word": false,
4249
+ "special": false
4250
+ },
4251
+ "31048": {
4252
+ "content": "\\wedge",
4253
+ "lstrip": false,
4254
+ "normalized": true,
4255
+ "rstrip": false,
4256
+ "single_word": false,
4257
+ "special": false
4258
+ },
4259
+ "31049": {
4260
+ "content": "\\wedgeT",
4261
+ "lstrip": false,
4262
+ "normalized": true,
4263
+ "rstrip": false,
4264
+ "single_word": false,
4265
+ "special": false
4266
+ },
4267
+ "31050": {
4268
+ "content": "\\wedgeid",
4269
+ "lstrip": false,
4270
+ "normalized": true,
4271
+ "rstrip": false,
4272
+ "single_word": false,
4273
+ "special": false
4274
+ },
4275
+ "31051": {
4276
+ "content": "\\widehat",
4277
+ "lstrip": false,
4278
+ "normalized": true,
4279
+ "rstrip": false,
4280
+ "single_word": false,
4281
+ "special": false
4282
+ },
4283
+ "31052": {
4284
+ "content": "\\widehatat",
4285
+ "lstrip": false,
4286
+ "normalized": true,
4287
+ "rstrip": false,
4288
+ "single_word": false,
4289
+ "special": false
4290
+ },
4291
+ "31053": {
4292
+ "content": "\\widetilde",
4293
+ "lstrip": false,
4294
+ "normalized": true,
4295
+ "rstrip": false,
4296
+ "single_word": false,
4297
+ "special": false
4298
+ },
4299
+ "31054": {
4300
+ "content": "\\wp",
4301
+ "lstrip": false,
4302
+ "normalized": true,
4303
+ "rstrip": false,
4304
+ "single_word": false,
4305
+ "special": false
4306
+ },
4307
+ "31055": {
4308
+ "content": "\\xi",
4309
+ "lstrip": false,
4310
+ "normalized": true,
4311
+ "rstrip": false,
4312
+ "single_word": false,
4313
+ "special": false
4314
+ },
4315
+ "31056": {
4316
+ "content": "\\xlongequal",
4317
+ "lstrip": false,
4318
+ "normalized": true,
4319
+ "rstrip": false,
4320
+ "single_word": false,
4321
+ "special": false
4322
+ },
4323
+ "31057": {
4324
+ "content": "\\xrightarrow",
4325
+ "lstrip": false,
4326
+ "normalized": true,
4327
+ "rstrip": false,
4328
+ "single_word": false,
4329
+ "special": false
4330
+ },
4331
+ "31058": {
4332
+ "content": "\\your",
4333
+ "lstrip": false,
4334
+ "normalized": true,
4335
+ "rstrip": false,
4336
+ "single_word": false,
4337
+ "special": false
4338
+ },
4339
+ "31059": {
4340
+ "content": "\\zeta",
4341
+ "lstrip": false,
4342
+ "normalized": true,
4343
+ "rstrip": false,
4344
+ "single_word": false,
4345
+ "special": false
4346
+ }
4347
+ },
4348
+ "clean_up_tokenization_spaces": true,
4349
  "cls_token": "[CLS]",
4350
  "do_lower_case": true,
4351
  "mask_token": "[MASK]",
4352
  "model_max_length": 512,
 
4353
  "pad_token": "[PAD]",
4354
  "sep_token": "[SEP]",
 
4355
  "strip_accents": null,
4356
  "tokenize_chinese_chars": true,
4357
  "tokenizer_class": "DistilBertTokenizer",