| { | |
| "add_prefix_space": true, | |
| "added_tokens_decoder": { | |
| "0": { | |
| "content": "<pad>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "1": { | |
| "content": "</s>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "2": { | |
| "content": "<unk>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32000": { | |
| "content": "<extra_id_99>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32001": { | |
| "content": "<extra_id_98>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32002": { | |
| "content": "<extra_id_97>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32003": { | |
| "content": "<extra_id_96>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32004": { | |
| "content": "<extra_id_95>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32005": { | |
| "content": "<extra_id_94>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32006": { | |
| "content": "<extra_id_93>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32007": { | |
| "content": "<extra_id_92>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32008": { | |
| "content": "<extra_id_91>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32009": { | |
| "content": "<extra_id_90>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32010": { | |
| "content": "<extra_id_89>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32011": { | |
| "content": "<extra_id_88>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32012": { | |
| "content": "<extra_id_87>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32013": { | |
| "content": "<extra_id_86>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32014": { | |
| "content": "<extra_id_85>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32015": { | |
| "content": "<extra_id_84>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32016": { | |
| "content": "<extra_id_83>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32017": { | |
| "content": "<extra_id_82>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32018": { | |
| "content": "<extra_id_81>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32019": { | |
| "content": "<extra_id_80>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32020": { | |
| "content": "<extra_id_79>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32021": { | |
| "content": "<extra_id_78>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32022": { | |
| "content": "<extra_id_77>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32023": { | |
| "content": "<extra_id_76>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32024": { | |
| "content": "<extra_id_75>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32025": { | |
| "content": "<extra_id_74>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32026": { | |
| "content": "<extra_id_73>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32027": { | |
| "content": "<extra_id_72>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32028": { | |
| "content": "<extra_id_71>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32029": { | |
| "content": "<extra_id_70>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32030": { | |
| "content": "<extra_id_69>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32031": { | |
| "content": "<extra_id_68>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32032": { | |
| "content": "<extra_id_67>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32033": { | |
| "content": "<extra_id_66>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32034": { | |
| "content": "<extra_id_65>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32035": { | |
| "content": "<extra_id_64>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32036": { | |
| "content": "<extra_id_63>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32037": { | |
| "content": "<extra_id_62>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32038": { | |
| "content": "<extra_id_61>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32039": { | |
| "content": "<extra_id_60>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32040": { | |
| "content": "<extra_id_59>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32041": { | |
| "content": "<extra_id_58>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32042": { | |
| "content": "<extra_id_57>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32043": { | |
| "content": "<extra_id_56>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32044": { | |
| "content": "<extra_id_55>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32045": { | |
| "content": "<extra_id_54>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32046": { | |
| "content": "<extra_id_53>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32047": { | |
| "content": "<extra_id_52>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32048": { | |
| "content": "<extra_id_51>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32049": { | |
| "content": "<extra_id_50>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32050": { | |
| "content": "<extra_id_49>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32051": { | |
| "content": "<extra_id_48>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32052": { | |
| "content": "<extra_id_47>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32053": { | |
| "content": "<extra_id_46>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32054": { | |
| "content": "<extra_id_45>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32055": { | |
| "content": "<extra_id_44>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32056": { | |
| "content": "<extra_id_43>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32057": { | |
| "content": "<extra_id_42>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32058": { | |
| "content": "<extra_id_41>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32059": { | |
| "content": "<extra_id_40>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32060": { | |
| "content": "<extra_id_39>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32061": { | |
| "content": "<extra_id_38>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32062": { | |
| "content": "<extra_id_37>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32063": { | |
| "content": "<extra_id_36>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32064": { | |
| "content": "<extra_id_35>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32065": { | |
| "content": "<extra_id_34>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32066": { | |
| "content": "<extra_id_33>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32067": { | |
| "content": "<extra_id_32>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32068": { | |
| "content": "<extra_id_31>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32069": { | |
| "content": "<extra_id_30>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32070": { | |
| "content": "<extra_id_29>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32071": { | |
| "content": "<extra_id_28>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32072": { | |
| "content": "<extra_id_27>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32073": { | |
| "content": "<extra_id_26>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32074": { | |
| "content": "<extra_id_25>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32075": { | |
| "content": "<extra_id_24>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32076": { | |
| "content": "<extra_id_23>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32077": { | |
| "content": "<extra_id_22>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32078": { | |
| "content": "<extra_id_21>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32079": { | |
| "content": "<extra_id_20>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32080": { | |
| "content": "<extra_id_19>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32081": { | |
| "content": "<extra_id_18>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32082": { | |
| "content": "<extra_id_17>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32083": { | |
| "content": "<extra_id_16>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32084": { | |
| "content": "<extra_id_15>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32085": { | |
| "content": "<extra_id_14>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32086": { | |
| "content": "<extra_id_13>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32087": { | |
| "content": "<extra_id_12>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32088": { | |
| "content": "<extra_id_11>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32089": { | |
| "content": "<extra_id_10>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32090": { | |
| "content": "<extra_id_9>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32091": { | |
| "content": "<extra_id_8>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32092": { | |
| "content": "<extra_id_7>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32093": { | |
| "content": "<extra_id_6>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32094": { | |
| "content": "<extra_id_5>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32095": { | |
| "content": "<extra_id_4>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32096": { | |
| "content": "<extra_id_3>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32097": { | |
| "content": "<extra_id_2>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32098": { | |
| "content": "<extra_id_1>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32099": { | |
| "content": "<extra_id_0>", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32100": { | |
| "content": "\\", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32101": { | |
| "content": "{", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32102": { | |
| "content": "}", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32103": { | |
| "content": "^", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32104": { | |
| "content": "<", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32105": { | |
| "content": "~", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32106": { | |
| "content": "\\dot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32107": { | |
| "content": "\\ddot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32108": { | |
| "content": "\\acute", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32109": { | |
| "content": "\\grave", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32110": { | |
| "content": "\\check", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32111": { | |
| "content": "\\breve", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32112": { | |
| "content": "\\tilde", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32113": { | |
| "content": "\\bar", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32114": { | |
| "content": "\\hat", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32115": { | |
| "content": "\\widehat", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32116": { | |
| "content": "\\vec", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32117": { | |
| "content": "\\exp", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32118": { | |
| "content": "\\ln", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32119": { | |
| "content": "\\lg", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32120": { | |
| "content": "\\log", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32121": { | |
| "content": "\\sin", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32122": { | |
| "content": "\\cos", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32123": { | |
| "content": "\\tan", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32124": { | |
| "content": "\\cot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32125": { | |
| "content": "\\sec", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32126": { | |
| "content": "\\csc", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32127": { | |
| "content": "\\arcsin", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32128": { | |
| "content": "\\arccos", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32129": { | |
| "content": "\\arctan", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32130": { | |
| "content": "\\sinh", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32131": { | |
| "content": "\\cosh", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32132": { | |
| "content": "\\tanh", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32133": { | |
| "content": "\\coth", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32134": { | |
| "content": "\\operatorname", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32135": { | |
| "content": "\\sgn", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32136": { | |
| "content": "\\vert", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32137": { | |
| "content": "\\min", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32138": { | |
| "content": "\\max", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32139": { | |
| "content": "\\inf", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32140": { | |
| "content": "\\sup", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32141": { | |
| "content": "\\lim", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32142": { | |
| "content": "\\liminf", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32143": { | |
| "content": "\\limsup", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32144": { | |
| "content": "\\dim", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32145": { | |
| "content": "\\deg", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32146": { | |
| "content": "\\det", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32147": { | |
| "content": "\\phi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32148": { | |
| "content": "\\Pr", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32149": { | |
| "content": "\\hom", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32150": { | |
| "content": "\\lVert", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32151": { | |
| "content": "\\arg", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32152": { | |
| "content": "\\partial", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32153": { | |
| "content": "\\over", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32154": { | |
| "content": "\\hbar", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32155": { | |
| "content": "\\circledS", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32156": { | |
| "content": "\\equiv", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32157": { | |
| "content": "\\pmod", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32158": { | |
| "content": "\\nshortmid", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32159": { | |
| "content": "\\sqrt", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32160": { | |
| "content": "\\mathrm", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32161": { | |
| "content": "\\dotplus", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32162": { | |
| "content": "\\backslash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32163": { | |
| "content": "\\bullet", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32164": { | |
| "content": "\\boxdot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32165": { | |
| "content": "\\circledast", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32166": { | |
| "content": "\\bigodot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32167": { | |
| "content": "\\O", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32168": { | |
| "content": "\\empty", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32169": { | |
| "content": "\\varnothing", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32170": { | |
| "content": "\\notin", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32171": { | |
| "content": "\\ni", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32172": { | |
| "content": "\\bigcap", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32173": { | |
| "content": "\\biguplus", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32174": { | |
| "content": "\\times", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32175": { | |
| "content": "\\sqsubset", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32176": { | |
| "content": "\\sqsupset", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32177": { | |
| "content": "\\sqsubseteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32178": { | |
| "content": "\\sqsupseteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32179": { | |
| "content": "\\varsubsetneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32180": { | |
| "content": "\\varsupsetneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32181": { | |
| "content": "\\overset", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32182": { | |
| "content": "\\underset", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32183": { | |
| "content": "\\ncong", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32184": { | |
| "content": "\\varpropto", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32185": { | |
| "content": "\\lessdot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32186": { | |
| "content": "\\gtrdot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32187": { | |
| "content": "\\lvertneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32188": { | |
| "content": "\\gvertneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32189": { | |
| "content": "\\gtreqqless", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32190": { | |
| "content": "\\eqslantless", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32191": { | |
| "content": "\\eqslantgtr", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32192": { | |
| "content": "\\lnapprox", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32193": { | |
| "content": "\\gnapprox", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32194": { | |
| "content": "\\precneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32195": { | |
| "content": "\\succneqq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32196": { | |
| "content": "\\curlyeqprec", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32197": { | |
| "content": "\\curlyeqsucc", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32198": { | |
| "content": "\\precnapprox", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32199": { | |
| "content": "\\succnapprox", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32200": { | |
| "content": "\\nshortparallel", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32201": { | |
| "content": "\\circ", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32202": { | |
| "content": "\\Diamond", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32203": { | |
| "content": "\\bigstar", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32204": { | |
| "content": "\\triangle", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32205": { | |
| "content": "\\bigtriangledown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32206": { | |
| "content": "\\triangledown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32207": { | |
| "content": "\\blacktriangleright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32208": { | |
| "content": "\\overline", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32209": { | |
| "content": "\\frown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32210": { | |
| "content": "\\nexists", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32211": { | |
| "content": "\\And", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32212": { | |
| "content": "\\therefore", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32213": { | |
| "content": "\\because", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32214": { | |
| "content": "\\or", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32215": { | |
| "content": "\\lor", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32216": { | |
| "content": "\\bigvee", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32217": { | |
| "content": "\\and", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32218": { | |
| "content": "\\land", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32219": { | |
| "content": "\\bigwedge", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32220": { | |
| "content": "\\lnot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32221": { | |
| "content": "\\top", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32222": { | |
| "content": "\\vdash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32223": { | |
| "content": "\\models", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32224": { | |
| "content": "\\Vvdash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32225": { | |
| "content": "\\nvdash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32226": { | |
| "content": "\\nVdash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32227": { | |
| "content": "\\nvDash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32228": { | |
| "content": "\\nVDash", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32229": { | |
| "content": "\\ulcorner", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32230": { | |
| "content": "\\urcorner", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32231": { | |
| "content": "\\llcorner", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32232": { | |
| "content": "\\lrcorner", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32233": { | |
| "content": "\\Lleftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32234": { | |
| "content": "\\Longrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32235": { | |
| "content": "\\implies", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32236": { | |
| "content": "\\Longleftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32237": { | |
| "content": "\\Longleftrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32238": { | |
| "content": "\\iff", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32239": { | |
| "content": "\\Updownarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32240": { | |
| "content": "\\rightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32241": { | |
| "content": "\\longrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32242": { | |
| "content": "\\leftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32243": { | |
| "content": "\\longleftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32244": { | |
| "content": "\\longleftrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32245": { | |
| "content": "\\updownarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32246": { | |
| "content": "\\searrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32247": { | |
| "content": "\\longmapsto", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32248": { | |
| "content": "\\rightharpoonup", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32249": { | |
| "content": "\\rightharpoondown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32250": { | |
| "content": "\\leftharpoonup", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32251": { | |
| "content": "\\leftharpoondown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32252": { | |
| "content": "\\upharpoonleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32253": { | |
| "content": "\\upharpoonright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32254": { | |
| "content": "\\downharpoonleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32255": { | |
| "content": "\\downharpoonright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32256": { | |
| "content": "\\rightleftharpoons", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32257": { | |
| "content": "\\leftrightharpoons", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32258": { | |
| "content": "\\curvearrowleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32259": { | |
| "content": "\\circlearrowleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32260": { | |
| "content": "\\Lsh", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32261": { | |
| "content": "\\upuparrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32262": { | |
| "content": "\\rightrightarrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32263": { | |
| "content": "\\rightleftarrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32264": { | |
| "content": "\\rightarrowtail", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32265": { | |
| "content": "\\looparrowright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32266": { | |
| "content": "\\curvearrowright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32267": { | |
| "content": "\\circlearrowright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32268": { | |
| "content": "\\Rsh", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32269": { | |
| "content": "\\downdownarrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32270": { | |
| "content": "\\leftleftarrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32271": { | |
| "content": "\\leftrightarrows", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32272": { | |
| "content": "\\leftarrowtail", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32273": { | |
| "content": "\\looparrowleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32274": { | |
| "content": "\\hookrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32275": { | |
| "content": "\\hookleftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32276": { | |
| "content": "\\multimap", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32277": { | |
| "content": "\\leftrightsquigarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32278": { | |
| "content": "\\rightsquigarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32279": { | |
| "content": "\\twoheadrightarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32280": { | |
| "content": "\\twoheadleftarrow", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32281": { | |
| "content": "\\amalg", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32282": { | |
| "content": "\\P", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32283": { | |
| "content": "\\S", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32284": { | |
| "content": "\\dagger", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32285": { | |
| "content": "\\ddagger", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32286": { | |
| "content": "\\ldots", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32287": { | |
| "content": "\\cdots", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32288": { | |
| "content": "\\smile", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32289": { | |
| "content": "\\wr", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32290": { | |
| "content": "\\triangleleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32291": { | |
| "content": "\\sharp", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32292": { | |
| "content": "\\cancel", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32293": { | |
| "content": "\\color", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32294": { | |
| "content": "\\diagup", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32295": { | |
| "content": "\\diagdown", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32296": { | |
| "content": "\\centerdot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32297": { | |
| "content": "\\ltimes", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32298": { | |
| "content": "\\rtimes", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32299": { | |
| "content": "\\leftthreetimes", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32300": { | |
| "content": "\\rightthreetimes", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32301": { | |
| "content": "\\eqcirc", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32302": { | |
| "content": "\\circeq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32303": { | |
| "content": "\\triangleq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32304": { | |
| "content": "\\bumpeq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32305": { | |
| "content": "\\Bumpeq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32306": { | |
| "content": "\\doteqdot", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32307": { | |
| "content": "\\risingdotseq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32308": { | |
| "content": "\\fallingdotseq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32309": { | |
| "content": "\\intercal", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32310": { | |
| "content": "\\barwedge", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32311": { | |
| "content": "\\veebar", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32312": { | |
| "content": "\\doublebarwedge", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32313": { | |
| "content": "\\between", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32314": { | |
| "content": "\\pitchfork", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32315": { | |
| "content": "\\vartriangleleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32316": { | |
| "content": "\\ntriangleleft", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32317": { | |
| "content": "\\vartriangleright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32318": { | |
| "content": "\\ntriangleright", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32319": { | |
| "content": "\\trianglelefteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32320": { | |
| "content": "\\ntrianglelefteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32321": { | |
| "content": "\\trianglerighteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32322": { | |
| "content": "\\ntrianglerighteq", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32323": { | |
| "content": "\\sum", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32324": { | |
| "content": "\\prod", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32325": { | |
| "content": "\\to", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32326": { | |
| "content": "\\int", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32327": { | |
| "content": "\\oint", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32328": { | |
| "content": "\\frac", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32329": { | |
| "content": "\\choose", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32330": { | |
| "content": "\\begin", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32331": { | |
| "content": "\\end", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32332": { | |
| "content": "\\vdots", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32333": { | |
| "content": "\\ddots", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32334": { | |
| "content": "\\mbox", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32335": { | |
| "content": "\\Alpha", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32336": { | |
| "content": "\\Beta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32337": { | |
| "content": "\\Gamma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32338": { | |
| "content": "\\Delta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32339": { | |
| "content": "\\Epsilon", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32340": { | |
| "content": "\\Zeta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32341": { | |
| "content": "\\Eta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32342": { | |
| "content": "\\Theta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32343": { | |
| "content": "\\Iota", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32344": { | |
| "content": "\\Kappa", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32345": { | |
| "content": "\\Lambda", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32346": { | |
| "content": "\\Mu", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32347": { | |
| "content": "\\Nu", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32348": { | |
| "content": "\\Xi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32349": { | |
| "content": "\\Pi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32350": { | |
| "content": "\\Rho", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32351": { | |
| "content": "\\Sigma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32352": { | |
| "content": "\\Tau", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32353": { | |
| "content": "\\Upsilon", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32354": { | |
| "content": "\\Phi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32355": { | |
| "content": "\\Chi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32356": { | |
| "content": "\\Psi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32357": { | |
| "content": "\\Omega", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32358": { | |
| "content": "\\alpha", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32359": { | |
| "content": "\\beta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32360": { | |
| "content": "\\gamma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32361": { | |
| "content": "\\delta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32362": { | |
| "content": "\\epsilon", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32363": { | |
| "content": "\\zeta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32364": { | |
| "content": "\\eta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32365": { | |
| "content": "\\theta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32366": { | |
| "content": "\\iota", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32367": { | |
| "content": "\\kappa", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32368": { | |
| "content": "\\lambda", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32369": { | |
| "content": "\\mu", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32370": { | |
| "content": "\\nu", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32371": { | |
| "content": "\\xi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32372": { | |
| "content": "\\pi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32373": { | |
| "content": "\\rho", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32374": { | |
| "content": "\\sigma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32375": { | |
| "content": "\\tau", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32376": { | |
| "content": "\\upsilon", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32377": { | |
| "content": "\\chi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32378": { | |
| "content": "\\psi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32379": { | |
| "content": "\\omega", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32380": { | |
| "content": "\\varepsilon", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32381": { | |
| "content": "\\digamma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32382": { | |
| "content": "\\varkappa", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32383": { | |
| "content": "\\varpi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32384": { | |
| "content": "\\varrho", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32385": { | |
| "content": "\\varsigma", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32386": { | |
| "content": "\\vartheta", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32387": { | |
| "content": "\\varphi", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32388": { | |
| "content": "\\aleph", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32389": { | |
| "content": "\\beth", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32390": { | |
| "content": "\\gimel", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32391": { | |
| "content": "\\daleth", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32392": { | |
| "content": "\\mathbb", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32393": { | |
| "content": "\\mathbf", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32394": { | |
| "content": "\\boldsymbol", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32395": { | |
| "content": "\\mathit", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32396": { | |
| "content": "\\mathsf", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32397": { | |
| "content": "\\mathcal", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32398": { | |
| "content": "\\mathfrak", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32399": { | |
| "content": "\\text", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32400": { | |
| "content": "\\left", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32401": { | |
| "content": "\\right", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32402": { | |
| "content": "\\langle", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32403": { | |
| "content": "\\rfloor", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| }, | |
| "32404": { | |
| "content": "\\quad", | |
| "lstrip": false, | |
| "normalized": false, | |
| "rstrip": false, | |
| "single_word": false, | |
| "special": true | |
| } | |
| }, | |
| "additional_special_tokens": [ | |
| "\\", | |
| "{", | |
| "}", | |
| "^", | |
| "<", | |
| "~", | |
| "\\dot", | |
| "\\ddot", | |
| "\\acute", | |
| "\\grave", | |
| "\\check", | |
| "\\breve", | |
| "\\tilde", | |
| "\\bar", | |
| "\\hat", | |
| "\\widehat", | |
| "\\vec", | |
| "\\exp", | |
| "\\ln", | |
| "\\lg", | |
| "\\log", | |
| "\\sin", | |
| "\\cos", | |
| "\\tan", | |
| "\\cot", | |
| "\\sec", | |
| "\\csc", | |
| "\\arcsin", | |
| "\\arccos", | |
| "\\arctan", | |
| "\\sinh", | |
| "\\cosh", | |
| "\\tanh", | |
| "\\coth", | |
| "\\operatorname", | |
| "\\sgn", | |
| "\\vert", | |
| "\\min", | |
| "\\max", | |
| "\\inf", | |
| "\\sup", | |
| "\\lim", | |
| "\\liminf", | |
| "\\limsup", | |
| "\\dim", | |
| "\\deg", | |
| "\\det", | |
| "\\phi", | |
| "\\Pr", | |
| "\\hom", | |
| "\\lVert", | |
| "\\arg", | |
| "\\partial", | |
| "\\over", | |
| "\\hbar", | |
| "\\circledS", | |
| "\\equiv", | |
| "\\pmod", | |
| "\\nshortmid", | |
| "\\sqrt", | |
| "\\mathrm", | |
| "\\dotplus", | |
| "\\backslash", | |
| "\\bullet", | |
| "\\boxdot", | |
| "\\circledast", | |
| "\\bigodot", | |
| "\\O", | |
| "\\empty", | |
| "\\varnothing", | |
| "\\notin", | |
| "\\ni", | |
| "\\bigcap", | |
| "\\biguplus", | |
| "\\times", | |
| "\\sqsubset", | |
| "\\sqsupset", | |
| "\\sqsubseteq", | |
| "\\sqsupseteq", | |
| "\\varsubsetneqq", | |
| "\\varsupsetneqq", | |
| "\\overset", | |
| "\\underset", | |
| "\\ncong", | |
| "\\varpropto", | |
| "\\lessdot", | |
| "\\gtrdot", | |
| "\\lvertneqq", | |
| "\\gvertneqq", | |
| "\\gtreqqless", | |
| "\\eqslantless", | |
| "\\eqslantgtr", | |
| "\\lnapprox", | |
| "\\gnapprox", | |
| "\\precneqq", | |
| "\\succneqq", | |
| "\\curlyeqprec", | |
| "\\curlyeqsucc", | |
| "\\precnapprox", | |
| "\\succnapprox", | |
| "\\nshortparallel", | |
| "\\circ", | |
| "\\Diamond", | |
| "\\bigstar", | |
| "\\triangle", | |
| "\\bigtriangledown", | |
| "\\triangledown", | |
| "\\blacktriangleright", | |
| "\\overline", | |
| "\\frown", | |
| "\\nexists", | |
| "\\And", | |
| "\\therefore", | |
| "\\because", | |
| "\\or", | |
| "\\lor", | |
| "\\bigvee", | |
| "\\and", | |
| "\\land", | |
| "\\bigwedge", | |
| "\\lnot", | |
| "\\top", | |
| "\\vdash", | |
| "\\models", | |
| "\\Vvdash", | |
| "\\nvdash", | |
| "\\nVdash", | |
| "\\nvDash", | |
| "\\nVDash", | |
| "\\ulcorner", | |
| "\\urcorner", | |
| "\\llcorner", | |
| "\\lrcorner", | |
| "\\Lleftarrow", | |
| "\\Longrightarrow", | |
| "\\implies", | |
| "\\Longleftarrow", | |
| "\\Longleftrightarrow", | |
| "\\iff", | |
| "\\Updownarrow", | |
| "\\rightarrow", | |
| "\\longrightarrow", | |
| "\\leftarrow", | |
| "\\longleftarrow", | |
| "\\longleftrightarrow", | |
| "\\updownarrow", | |
| "\\searrow", | |
| "\\longmapsto", | |
| "\\rightharpoonup", | |
| "\\rightharpoondown", | |
| "\\leftharpoonup", | |
| "\\leftharpoondown", | |
| "\\upharpoonleft", | |
| "\\upharpoonright", | |
| "\\downharpoonleft", | |
| "\\downharpoonright", | |
| "\\rightleftharpoons", | |
| "\\leftrightharpoons", | |
| "\\curvearrowleft", | |
| "\\circlearrowleft", | |
| "\\Lsh", | |
| "\\upuparrows", | |
| "\\rightrightarrows", | |
| "\\rightleftarrows", | |
| "\\rightarrowtail", | |
| "\\looparrowright", | |
| "\\curvearrowright", | |
| "\\circlearrowright", | |
| "\\Rsh", | |
| "\\downdownarrows", | |
| "\\leftleftarrows", | |
| "\\leftrightarrows", | |
| "\\leftarrowtail", | |
| "\\looparrowleft", | |
| "\\hookrightarrow", | |
| "\\hookleftarrow", | |
| "\\multimap", | |
| "\\leftrightsquigarrow", | |
| "\\rightsquigarrow", | |
| "\\twoheadrightarrow", | |
| "\\twoheadleftarrow", | |
| "\\amalg", | |
| "\\P", | |
| "\\S", | |
| "\\dagger", | |
| "\\ddagger", | |
| "\\ldots", | |
| "\\cdots", | |
| "\\smile", | |
| "\\wr", | |
| "\\triangleleft", | |
| "\\sharp", | |
| "\\cancel", | |
| "\\color", | |
| "\\diagup", | |
| "\\diagdown", | |
| "\\centerdot", | |
| "\\ltimes", | |
| "\\rtimes", | |
| "\\leftthreetimes", | |
| "\\rightthreetimes", | |
| "\\eqcirc", | |
| "\\circeq", | |
| "\\triangleq", | |
| "\\bumpeq", | |
| "\\Bumpeq", | |
| "\\doteqdot", | |
| "\\risingdotseq", | |
| "\\fallingdotseq", | |
| "\\intercal", | |
| "\\barwedge", | |
| "\\veebar", | |
| "\\doublebarwedge", | |
| "\\between", | |
| "\\pitchfork", | |
| "\\vartriangleleft", | |
| "\\ntriangleleft", | |
| "\\vartriangleright", | |
| "\\ntriangleright", | |
| "\\trianglelefteq", | |
| "\\ntrianglelefteq", | |
| "\\trianglerighteq", | |
| "\\ntrianglerighteq", | |
| "\\sum", | |
| "\\prod", | |
| "\\to", | |
| "\\int", | |
| "\\oint", | |
| "\\frac", | |
| "\\choose", | |
| "\\begin", | |
| "\\end", | |
| "\\vdots", | |
| "\\ddots", | |
| "\\mbox", | |
| "\\Alpha", | |
| "\\Beta", | |
| "\\Gamma", | |
| "\\Delta", | |
| "\\Epsilon", | |
| "\\Zeta", | |
| "\\Eta", | |
| "\\Theta", | |
| "\\Iota", | |
| "\\Kappa", | |
| "\\Lambda", | |
| "\\Mu", | |
| "\\Nu", | |
| "\\Xi", | |
| "\\Pi", | |
| "\\Rho", | |
| "\\Sigma", | |
| "\\Tau", | |
| "\\Upsilon", | |
| "\\Phi", | |
| "\\Chi", | |
| "\\Psi", | |
| "\\Omega", | |
| "\\alpha", | |
| "\\beta", | |
| "\\gamma", | |
| "\\delta", | |
| "\\epsilon", | |
| "\\zeta", | |
| "\\eta", | |
| "\\theta", | |
| "\\iota", | |
| "\\kappa", | |
| "\\lambda", | |
| "\\mu", | |
| "\\nu", | |
| "\\xi", | |
| "\\pi", | |
| "\\rho", | |
| "\\sigma", | |
| "\\tau", | |
| "\\upsilon", | |
| "\\chi", | |
| "\\psi", | |
| "\\omega", | |
| "\\varepsilon", | |
| "\\digamma", | |
| "\\varkappa", | |
| "\\varpi", | |
| "\\varrho", | |
| "\\varsigma", | |
| "\\vartheta", | |
| "\\varphi", | |
| "\\aleph", | |
| "\\beth", | |
| "\\gimel", | |
| "\\daleth", | |
| "\\mathbb", | |
| "\\mathbf", | |
| "\\boldsymbol", | |
| "\\mathit", | |
| "\\mathsf", | |
| "\\mathcal", | |
| "\\mathfrak", | |
| "\\text", | |
| "\\left", | |
| "\\right", | |
| "\\langle", | |
| "\\rfloor", | |
| "\\quad", | |
| "<extra_id_0>", | |
| "<extra_id_1>", | |
| "<extra_id_2>", | |
| "<extra_id_3>", | |
| "<extra_id_4>", | |
| "<extra_id_5>", | |
| "<extra_id_6>", | |
| "<extra_id_7>", | |
| "<extra_id_8>", | |
| "<extra_id_9>", | |
| "<extra_id_10>", | |
| "<extra_id_11>", | |
| "<extra_id_12>", | |
| "<extra_id_13>", | |
| "<extra_id_14>", | |
| "<extra_id_15>", | |
| "<extra_id_16>", | |
| "<extra_id_17>", | |
| "<extra_id_18>", | |
| "<extra_id_19>", | |
| "<extra_id_20>", | |
| "<extra_id_21>", | |
| "<extra_id_22>", | |
| "<extra_id_23>", | |
| "<extra_id_24>", | |
| "<extra_id_25>", | |
| "<extra_id_26>", | |
| "<extra_id_27>", | |
| "<extra_id_28>", | |
| "<extra_id_29>", | |
| "<extra_id_30>", | |
| "<extra_id_31>", | |
| "<extra_id_32>", | |
| "<extra_id_33>", | |
| "<extra_id_34>", | |
| "<extra_id_35>", | |
| "<extra_id_36>", | |
| "<extra_id_37>", | |
| "<extra_id_38>", | |
| "<extra_id_39>", | |
| "<extra_id_40>", | |
| "<extra_id_41>", | |
| "<extra_id_42>", | |
| "<extra_id_43>", | |
| "<extra_id_44>", | |
| "<extra_id_45>", | |
| "<extra_id_46>", | |
| "<extra_id_47>", | |
| "<extra_id_48>", | |
| "<extra_id_49>", | |
| "<extra_id_50>", | |
| "<extra_id_51>", | |
| "<extra_id_52>", | |
| "<extra_id_53>", | |
| "<extra_id_54>", | |
| "<extra_id_55>", | |
| "<extra_id_56>", | |
| "<extra_id_57>", | |
| "<extra_id_58>", | |
| "<extra_id_59>", | |
| "<extra_id_60>", | |
| "<extra_id_61>", | |
| "<extra_id_62>", | |
| "<extra_id_63>", | |
| "<extra_id_64>", | |
| "<extra_id_65>", | |
| "<extra_id_66>", | |
| "<extra_id_67>", | |
| "<extra_id_68>", | |
| "<extra_id_69>", | |
| "<extra_id_70>", | |
| "<extra_id_71>", | |
| "<extra_id_72>", | |
| "<extra_id_73>", | |
| "<extra_id_74>", | |
| "<extra_id_75>", | |
| "<extra_id_76>", | |
| "<extra_id_77>", | |
| "<extra_id_78>", | |
| "<extra_id_79>", | |
| "<extra_id_80>", | |
| "<extra_id_81>", | |
| "<extra_id_82>", | |
| "<extra_id_83>", | |
| "<extra_id_84>", | |
| "<extra_id_85>", | |
| "<extra_id_86>", | |
| "<extra_id_87>", | |
| "<extra_id_88>", | |
| "<extra_id_89>", | |
| "<extra_id_90>", | |
| "<extra_id_91>", | |
| "<extra_id_92>", | |
| "<extra_id_93>", | |
| "<extra_id_94>", | |
| "<extra_id_95>", | |
| "<extra_id_96>", | |
| "<extra_id_97>", | |
| "<extra_id_98>", | |
| "<extra_id_99>" | |
| ], | |
| "clean_up_tokenization_spaces": true, | |
| "eos_token": "</s>", | |
| "extra_ids": 100, | |
| "legacy": true, | |
| "model_max_length": 512, | |
| "pad_token": "<pad>", | |
| "sp_model_kwargs": {}, | |
| "tokenizer_class": "T5Tokenizer", | |
| "unk_token": "<unk>" | |
| } | |