keep alpha source states during node propagation
[IRC.git] / Robust / src / Benchmarks / mlp / tagger / mlp-smaller / symbols.txt
diff --git a/Robust/src/Benchmarks/mlp/tagger/mlp-smaller/symbols.txt b/Robust/src/Benchmarks/mlp/tagger/mlp-smaller/symbols.txt
new file mode 100644 (file)
index 0000000..9b89caf
--- /dev/null
@@ -0,0 +1,530 @@
+# character map for Lucida Math Italic font\r
+\r
+<char:Gamma><font:LucidNewMatItaT><index:161>\r
+<char:Delta><font:LucidNewMatItaT><index:162>\r
+<char:Theta><font:LucidNewMatItaT><index:163>\r
+<char:Lambda><font:LucidNewMatItaT><index:164>\r
+<char:Xi><font:LucidNewMatItaT><index:165>\r
+<char:Pi><font:LucidNewMatItaT><index:166>\r
+<char:Sigma><font:LucidNewMatItaT><index:167>\r
+<char:Upsilon><font:LucidNewMatItaT><index:7>\r
+<char:Phi><font:LucidNewMatItaT><index:169>\r
+<char:Psi><font:LucidNewMatItaT><index:170>\r
+<char:Omega><font:LucidNewMatItaT><index:173>\r
+<char:alpha><font:LucidNewMatItaT><index:174>\r
+<char:beta><font:LucidNewMatItaT><index:175>\r
+<char:gamma><font:LucidNewMatItaT><index:176>\r
+<char:delta><font:LucidNewMatItaT><index:177>\r
+<char:epsilon1><font:LucidNewMatItaT><index:178>\r
+<char:zeta><font:LucidNewMatItaT><index:179>\r
+<char:eta><font:LucidNewMatItaT><index:180>\r
+<char:theta><font:LucidNewMatItaT><index:181>\r
+<char:iota><font:LucidNewMatItaT><index:182>\r
+<char:kappa><font:LucidNewMatItaT><index:183>\r
+<char:lambda><font:LucidNewMatItaT><index:184>\r
+<char:mu><font:LucidNewMatItaT><index:185>\r
+<char:nu><font:LucidNewMatItaT><index:186>\r
+<char:xi><font:LucidNewMatItaT><index:187>\r
+<char:pi><font:LucidNewMatItaT><index:188>\r
+<char:rho><font:LucidNewMatItaT><index:189>\r
+<char:sigma><font:LucidNewMatItaT><index:190>\r
+<char:tau><font:LucidNewMatItaT><index:191>\r
+<char:upsilon><font:LucidNewMatItaT><index:192>\r
+<char:phi><font:LucidNewMatItaT><index:193>\r
+<char:chi><font:LucidNewMatItaT><index:194>\r
+<char:psi><font:LucidNewMatItaT><index:195>\r
+<char:tie><font:LucidNewMatItaT><index:196>\r
+<char:omega><font:LucidNewMatItaT><index:33>\r
+<char:epsilon><font:LucidNewMatItaT><index:34>\r
+<char:theta1><font:LucidNewMatItaT><index:35>\r
+<char:pi1><font:LucidNewMatItaT><index:36>\r
+<char:rho1><font:LucidNewMatItaT><index:37>\r
+<char:sigma1><font:LucidNewMatItaT><index:38>\r
+<char:phi1><font:LucidNewMatItaT><index:39>\r
+<char:arrowlefttophalf><font:LucidNewMatItaT><index:40>\r
+<char:arrowleftbothalf><font:LucidNewMatItaT><index:41>\r
+<char:arrowrighttophalf><font:LucidNewMatItaT><index:42>\r
+<char:arrowrightbothalf><font:LucidNewMatItaT><index:43>\r
+<char:arrowhookleft><font:LucidNewMatItaT><index:44>\r
+<char:arrowhookright><font:LucidNewMatItaT><index:45>\r
+<char:triangleright><font:LucidNewMatItaT><index:46>\r
+<char:triangleleft><font:LucidNewMatItaT><index:47>\r
+<char:period><font:LucidNewMatItaT><index:58>\r
+<char:comma><font:LucidNewMatItaT><index:59>\r
+<char:less><font:LucidNewMatItaT><index:60>\r
+<char:slash><font:LucidNewMatItaT><index:61>\r
+<char:greater><font:LucidNewMatItaT><index:62>\r
+<char:star><font:LucidNewMatItaT><index:63>\r
+<char:partialdiff><font:LucidNewMatItaT><index:64>\r
+<char:flat><font:LucidNewMatItaT><index:91>\r
+<char:natural><font:LucidNewMatItaT><index:92>\r
+<char:sharp><font:LucidNewMatItaT><index:93>\r
+<char:slurbelow><font:LucidNewMatItaT><index:94>\r
+<char:slurabove><font:LucidNewMatItaT><index:95>\r
+<char:lscript><font:LucidNewMatItaT><index:96>\r
+<char:dotlessi><font:LucidNewMatItaT><index:123>\r
+<char:dotlessj><font:LucidNewMatItaT><index:124>\r
+<char:weierstrass><font:LucidNewMatItaT><index:125>\r
+<char:vector><font:LucidNewMatItaT><index:126>\r
+\r
+\r
+# mathematical characters for Lucida New Math Symbol font\r
+\r
+<char:minus><font:LucidNewMatSymT><index:161>\r
+<char:periodcentered><font:LucidNewMatSymT><index:162>\r
+<char:multiply><font:LucidNewMatSymT><index:163>\r
+<char:asteriskmath><font:LucidNewMatSymT><index:164>\r
+<char:divide><font:LucidNewMatSymT><index:165>\r
+<char:diamondmath><font:LucidNewMatSymT><index:166>\r
+<char:plusminus><font:LucidNewMatSymT><index:167>\r
+<char:minusplus><font:LucidNewMatSymT><index:168>\r
+<char:circleplus><font:LucidNewMatSymT><index:169>\r
+<char:circleminus><font:LucidNewMatSymT><index:170>\r
+<char:circlemultiply><font:LucidNewMatSymT><index:173>\r
+<char:circledivide><font:LucidNewMatSymT><index:174>\r
+<char:circledot><font:LucidNewMatSymT><index:175>\r
+<char:circlecopyrt><font:LucidNewMatSymT><index:176>\r
+<char:openbullet><font:LucidNewMatSymT><index:177>\r
+<char:bullet><font:LucidNewMatSymT><index:178>\r
+<char:equivasymptotic><font:LucidNewMatSymT><index:179>\r
+<char:equivalence><font:LucidNewMatSymT><index:180>\r
+<char:reflexsubset><font:LucidNewMatSymT><index:181>\r
+<char:reflexsuperset><font:LucidNewMatSymT><index:182>\r
+<char:lessequal><font:LucidNewMatSymT><index:183>\r
+<char:greaterequal><font:LucidNewMatSymT><index:184>\r
+<char:precedesequal><font:LucidNewMatSymT><index:185>\r
+<char:followsequal><font:LucidNewMatSymT><index:186>\r
+<char:similar><font:LucidNewMatSymT><index:187>\r
+<char:approxequal><font:LucidNewMatSymT><index:188>\r
+<char:propersubset><font:LucidNewMatSymT><index:189>\r
+<char:propersuperset><font:LucidNewMatSymT><index:190>\r
+<char:lessmuch><font:LucidNewMatSymT><index:191>\r
+<char:greatermuch><font:LucidNewMatSymT><index:192>\r
+<char:precedes><font:LucidNewMatSymT><index:193>\r
+<char:follows><font:LucidNewMatSymT><index:194>\r
+<char:arrowleft><font:LucidNewMatSymT><index:195>\r
+<char:spade><font:LucidNewMatSymT><index:196>\r
+<char:arrowright><font:LucidNewMatSymT><index:33>\r
+<char:arrowup><font:LucidNewMatSymT><index:34>\r
+<char:arrowdown><font:LucidNewMatSymT><index:35>\r
+<char:arrowboth><font:LucidNewMatSymT><index:36>\r
+<char:arrownortheast><font:LucidNewMatSymT><index:37>\r
+<char:arrowsoutheast><font:LucidNewMatSymT><index:38>\r
+<char:similarequal><font:LucidNewMatSymT><index:39>\r
+<char:arrowdblleft><font:LucidNewMatSymT><index:40>\r
+<char:arrowdblright><font:LucidNewMatSymT><index:41>\r
+<char:arrowdblup><font:LucidNewMatSymT><index:42>\r
+<char:arrowdbldown><font:LucidNewMatSymT><index:43>\r
+<char:arrowdblboth><font:LucidNewMatSymT><index:44>\r
+<char:arrownorthwest><font:LucidNewMatSymT><index:45>\r
+<char:arrowsouthwest><font:LucidNewMatSymT><index:46>\r
+<char:proportional><font:LucidNewMatSymT><index:47>\r
+<char:prime><font:LucidNewMatSymT><index:48>\r
+<char:infinity><font:LucidNewMatSymT><index:49>\r
+<char:element><font:LucidNewMatSymT><index:50>\r
+<char:owner><font:LucidNewMatSymT><index:51>\r
+<char:triangle><font:LucidNewMatSymT><index:52>\r
+<char:triangleinv><font:LucidNewMatSymT><index:53>\r
+<char:negationslash><font:LucidNewMatSymT><index:54>\r
+<char:mapsto><font:LucidNewMatSymT><index:55>\r
+<char:universal><font:LucidNewMatSymT><index:56>\r
+<char:existential><font:LucidNewMatSymT><index:57>\r
+<char:logicalnot><font:LucidNewMatSymT><index:58>\r
+<char:emptyset><font:LucidNewMatSymT><index:59>\r
+<char:Rfractur><font:LucidNewMatSymT><index:60>\r
+<char:Ifractur><font:LucidNewMatSymT><index:61>\r
+<char:latticetop><font:LucidNewMatSymT><index:62>\r
+<char:perpendicular><font:LucidNewMatSymT><index:63>\r
+<char:aleph><font:LucidNewMatSymT><index:64>\r
+<char:scriptA><font:LucidNewMatSymT><index:65>\r
+<char:scriptB><font:LucidNewMatSymT><index:66>\r
+<char:scriptC><font:LucidNewMatSymT><index:67>\r
+<char:scriptD><font:LucidNewMatSymT><index:68>\r
+<char:scriptE><font:LucidNewMatSymT><index:69>\r
+<char:scriptF><font:LucidNewMatSymT><index:70>\r
+<char:scriptG><font:LucidNewMatSymT><index:71>\r
+<char:scriptH><font:LucidNewMatSymT><index:72>\r
+<char:scriptI><font:LucidNewMatSymT><index:73>\r
+<char:scriptJ><font:LucidNewMatSymT><index:74>\r
+<char:scriptK><font:LucidNewMatSymT><index:75>\r
+<char:scriptL><font:LucidNewMatSymT><index:76>\r
+<char:scriptM><font:LucidNewMatSymT><index:77>\r
+<char:scriptN><font:LucidNewMatSymT><index:78>\r
+<char:scriptO><font:LucidNewMatSymT><index:79>\r
+<char:scriptP><font:LucidNewMatSymT><index:80>\r
+<char:scriptQ><font:LucidNewMatSymT><index:81>\r
+<char:scriptR><font:LucidNewMatSymT><index:82>\r
+<char:scriptS><font:LucidNewMatSymT><index:83>\r
+<char:scriptT><font:LucidNewMatSymT><index:84>\r
+<char:scriptU><font:LucidNewMatSymT><index:85>\r
+<char:scriptV><font:LucidNewMatSymT><index:86>\r
+<char:scriptW><font:LucidNewMatSymT><index:87>\r
+<char:scriptX><font:LucidNewMatSymT><index:88>\r
+<char:scriptY><font:LucidNewMatSymT><index:89>\r
+<char:scriptZ><font:LucidNewMatSymT><index:90>\r
+<char:union><font:LucidNewMatSymT><index:91>\r
+<char:intersection><font:LucidNewMatSymT><index:92>\r
+<char:unionmulti><font:LucidNewMatSymT><index:93>\r
+<char:logicaland><font:LucidNewMatSymT><index:94>\r
+<char:logicalor><font:LucidNewMatSymT><index:95>\r
+<char:turnstileleft><font:LucidNewMatSymT><index:96>\r
+<char:turnstileright><font:LucidNewMatSymT><index:97>\r
+<char:floorleft><font:LucidNewMatSymT><index:98>\r
+<char:floorright><font:LucidNewMatSymT><index:99>\r
+<char:ceilingleft><font:LucidNewMatSymT><index:100>\r
+<char:ceilingright><font:LucidNewMatSymT><index:101>\r
+<char:braceleft><font:LucidNewMatSymT><index:102>\r
+<char:braceright><font:LucidNewMatSymT><index:103>\r
+<char:angbracketleft><font:LucidNewMatSymT><index:104>\r
+<char:angbracketright><font:LucidNewMatSymT><index:105>\r
+<char:bar><font:LucidNewMatSymT><index:106>\r
+<char:bardbl><font:LucidNewMatSymT><index:107>\r
+<char:arrowbothv><font:LucidNewMatSymT><index:108>\r
+<char:arrowdblbothv><font:LucidNewMatSymT><index:109>\r
+<char:backslash><font:LucidNewMatSymT><index:110>\r
+<char:wreathproduct><font:LucidNewMatSymT><index:111>\r
+<char:radical><font:LucidNewMatSymT><index:112>\r
+<char:coproduct><font:LucidNewMatSymT><index:113>\r
+<char:nabla><font:LucidNewMatSymT><index:114>\r
+<char:integral><font:LucidNewMatSymT><index:115>\r
+<char:unionsq><font:LucidNewMatSymT><index:116>\r
+<char:intersectionsq><font:LucidNewMatSymT><index:117>\r
+<char:subsetsqequal><font:LucidNewMatSymT><index:118>\r
+<char:supersetsqequal><font:LucidNewMatSymT><index:119>\r
+<char:section><font:LucidNewMatSymT><index:120>\r
+<char:dagger><font:LucidNewMatSymT><index:121>\r
+<char:daggerdbl><font:LucidNewMatSymT><index:122>\r
+<char:paragraph><font:LucidNewMatSymT><index:123>\r
+<char:club><font:LucidNewMatSymT><index:124>\r
+<char:diamond><font:LucidNewMatSymT><index:125>\r
+<char:heart><font:LucidNewMatSymT><index:126>\r
+\r
+\r
+\r
+# character map for Symbol font\r
+\r
+<char:Symbol><font:Symbol><index:for>\r
+<char:space><font:Symbol><index:32>\r
+<char:exclam><font:Symbol><index:33>\r
+<char:universal><font:Symbol><index:34>\r
+<char:numbersign><font:Symbol><index:35>\r
+<char:existential><font:Symbol><index:36>\r
+<char:percent><font:Symbol><index:37>\r
+<char:ampersand><font:Symbol><index:38>\r
+<char:suchthat><font:Symbol><index:39>\r
+<char:parenleft><font:Symbol><index:40>\r
+<char:parenright><font:Symbol><index:41>\r
+<char:asteriskmath><font:Symbol><index:42>\r
+<char:plus><font:Symbol><index:43>\r
+<char:comma><font:Symbol><index:44>\r
+<char:minus><font:Symbol><index:45>\r
+<char:period><font:Symbol><index:46>\r
+<char:slash><font:Symbol><index:47>\r
+<char:zero><font:Symbol><index:48>\r
+<char:one><font:Symbol><index:49>\r
+<char:two><font:Symbol><index:50>\r
+<char:three><font:Symbol><index:51>\r
+<char:four><font:Symbol><index:52>\r
+<char:five><font:Symbol><index:53>\r
+<char:six><font:Symbol><index:54>\r
+<char:seven><font:Symbol><index:55>\r
+<char:eight><font:Symbol><index:56>\r
+<char:nine><font:Symbol><index:57>\r
+<char:colon><font:Symbol><index:58>\r
+<char:semicolon><font:Symbol><index:59>\r
+<char:less><font:Symbol><index:60>\r
+<char:equal><font:Symbol><index:61>\r
+<char:greater><font:Symbol><index:62>\r
+<char:question><font:Symbol><index:63>\r
+<char:congruent><font:Symbol><index:64>\r
+<char:Alpha><font:Symbol><index:65>\r
+<char:Beta><font:Symbol><index:66>\r
+<char:Chi><font:Symbol><index:67>\r
+<char:Delta><font:Symbol><index:68>\r
+<char:Epsilon><font:Symbol><index:69>\r
+<char:Phi><font:Symbol><index:70>\r
+<char:Gamma><font:Symbol><index:71>\r
+<char:Eta><font:Symbol><index:72>\r
+<char:Iota><font:Symbol><index:73>\r
+<char:theta1><font:Symbol><index:74>\r
+<char:Kappa><font:Symbol><index:75>\r
+<char:Lambda><font:Symbol><index:76>\r
+<char:Mu><font:Symbol><index:77>\r
+<char:Nu><font:Symbol><index:78>\r
+<char:Omicron><font:Symbol><index:79>\r
+<char:Pi><font:Symbol><index:80>\r
+<char:Theta><font:Symbol><index:81>\r
+<char:Rho><font:Symbol><index:82>\r
+<char:Sigma><font:Symbol><index:83>\r
+<char:Tau><font:Symbol><index:84>\r
+<char:Upsilon><font:Symbol><index:85>\r
+<char:sigma1><font:Symbol><index:86>\r
+<char:Omega><font:Symbol><index:87>\r
+<char:Xi><font:Symbol><index:88>\r
+<char:Psi><font:Symbol><index:89>\r
+<char:Zeta><font:Symbol><index:90>\r
+<char:bracketleft><font:Symbol><index:91>\r
+<char:therefore><font:Symbol><index:92>\r
+<char:bracketright><font:Symbol><index:93>\r
+<char:perpendicular><font:Symbol><index:94>\r
+<char:underscore><font:Symbol><index:95>\r
+<char:radicalex><font:Symbol><index:96>\r
+<char:alpha><font:Symbol><index:97>\r
+<char:beta><font:Symbol><index:98>\r
+<char:chi><font:Symbol><index:99>\r
+<char:delta><font:Symbol><index:100>\r
+<char:epsilon><font:Symbol><index:101>\r
+<char:phi><font:Symbol><index:102>\r
+<char:gamma><font:Symbol><index:103>\r
+<char:eta><font:Symbol><index:104>\r
+<char:iota><font:Symbol><index:105>\r
+<char:phi1><font:Symbol><index:106>\r
+<char:kappa><font:Symbol><index:107>\r
+<char:lambda><font:Symbol><index:108>\r
+<char:mu><font:Symbol><index:109>\r
+<char:nu><font:Symbol><index:110>\r
+<char:omicron><font:Symbol><index:111>\r
+<char:pi><font:Symbol><index:112>\r
+<char:theta><font:Symbol><index:113>\r
+<char:rho><font:Symbol><index:114>\r
+<char:sigma><font:Symbol><index:115>\r
+<char:tau><font:Symbol><index:116>\r
+<char:upsilon><font:Symbol><index:117>\r
+<char:omega1><font:Symbol><index:118>\r
+<char:omega><font:Symbol><index:119>\r
+<char:xi><font:Symbol><index:120>\r
+<char:psi><font:Symbol><index:121>\r
+<char:zeta><font:Symbol><index:122>\r
+<char:braceleft><font:Symbol><index:123>\r
+<char:bar><font:Symbol><index:124>\r
+<char:braceright><font:Symbol><index:125>\r
+<char:similar><font:Symbol><index:126>\r
+<char:Euro><font:Symbol><index:160>\r
+<char:Upsilon1><font:Symbol><index:161>\r
+<char:minute><font:Symbol><index:162>\r
+<char:lessequal><font:Symbol><index:163>\r
+<char:fraction><font:Symbol><index:164>\r
+<char:infinity><font:Symbol><index:165>\r
+<char:florin><font:Symbol><index:166>\r
+<char:club><font:Symbol><index:167>\r
+<char:diamond><font:Symbol><index:168>\r
+<char:heart><font:Symbol><index:169>\r
+<char:spade><font:Symbol><index:170>\r
+<char:arrowboth><font:Symbol><index:171>\r
+<char:arrowleft><font:Symbol><index:172>\r
+<char:arrowup><font:Symbol><index:173>\r
+<char:arrowright><font:Symbol><index:174>\r
+<char:arrowdown><font:Symbol><index:175>\r
+<char:degree><font:Symbol><index:176>\r
+<char:plusminus><font:Symbol><index:177>\r
+<char:second><font:Symbol><index:178>\r
+<char:greaterequal><font:Symbol><index:179>\r
+<char:multiply><font:Symbol><index:180>\r
+<char:proportional><font:Symbol><index:181>\r
+<char:partialdiff><font:Symbol><index:182>\r
+<char:bullet><font:Symbol><index:183>\r
+<char:divide><font:Symbol><index:184>\r
+<char:notequal><font:Symbol><index:185>\r
+<char:equivalence><font:Symbol><index:186>\r
+<char:approxequal><font:Symbol><index:187>\r
+\r
+# seems to be a quarter fraction\r
+# <char:ellipsis><font:Symbol><index:188>\r
+\r
+<char:arrowvertex><font:Symbol><index:189>\r
+<char:arrowhorizex><font:Symbol><index:190>\r
+<char:carriagereturn><font:Symbol><index:191>\r
+<char:aleph><font:Symbol><index:192>\r
+<char:Ifraktur><font:Symbol><index:193>\r
+<char:Rfraktur><font:Symbol><index:194>\r
+<char:weierstrass><font:Symbol><index:195>\r
+<char:circlemultiply><font:Symbol><index:196>\r
+<char:circleplus><font:Symbol><index:197>\r
+<char:emptyset><font:Symbol><index:198>\r
+<char:intersection><font:Symbol><index:199>\r
+<char:union><font:Symbol><index:200>\r
+<char:propersuperset><font:Symbol><index:201>\r
+<char:reflexsuperset><font:Symbol><index:202>\r
+<char:notsubset><font:Symbol><index:203>\r
+<char:propersubset><font:Symbol><index:204>\r
+<char:reflexsubset><font:Symbol><index:205>\r
+<char:element><font:Symbol><index:206>\r
+<char:notelement><font:Symbol><index:207>\r
+<char:angle><font:Symbol><index:208>\r
+<char:gradient><font:Symbol><index:209>\r
+<char:registerserif><font:Symbol><index:210>\r
+<char:copyrightserif><font:Symbol><index:211>\r
+<char:trademarkserif><font:Symbol><index:212>\r
+<char:product><font:Symbol><index:213>\r
+<char:radical><font:Symbol><index:214>\r
+<char:dotmath><font:Symbol><index:215>\r
+<char:logicalnot><font:Symbol><index:216>\r
+<char:logicaland><font:Symbol><index:217>\r
+<char:logicalor><font:Symbol><index:218>\r
+<char:arrowdblboth><font:Symbol><index:219>\r
+<char:arrowdblleft><font:Symbol><index:220>\r
+<char:arrowdblup><font:Symbol><index:221>\r
+<char:arrowdblright><font:Symbol><index:222>\r
+<char:arrowdbldown><font:Symbol><index:223>\r
+<char:lozenge><font:Symbol><index:224>\r
+<char:angleleft><font:Symbol><index:225>\r
+<char:registersans><font:Symbol><index:226>\r
+<char:copyrightsans><font:Symbol><index:227>\r
+<char:trademarksans><font:Symbol><index:228>\r
+<char:summation><font:Symbol><index:229>\r
+<char:parenlefttp><font:Symbol><index:230>\r
+<char:parenleftex><font:Symbol><index:231>\r
+<char:parenleftbt><font:Symbol><index:232>\r
+<char:bracketlefttp><font:Symbol><index:233>\r
+<char:bracketleftex><font:Symbol><index:234>\r
+<char:bracketleftbt><font:Symbol><index:235>\r
+<char:bracelefttp><font:Symbol><index:236>\r
+<char:braceleftmid><font:Symbol><index:237>\r
+<char:braceleftbt><font:Symbol><index:238>\r
+<char:braceex><font:Symbol><index:239>\r
+<char:angleright><font:Symbol><index:241>\r
+<char:integral><font:Symbol><index:242>\r
+<char:integraltp><font:Symbol><index:243>\r
+<char:integralex><font:Symbol><index:244>\r
+<char:integralbt><font:Symbol><index:245>\r
+<char:parenrighttp><font:Symbol><index:246>\r
+<char:parenrightex><font:Symbol><index:247>\r
+<char:parenrightbt><font:Symbol><index:248>\r
+<char:bracketrighttp><font:Symbol><index:249>\r
+<char:bracketrightex><font:Symbol><index:250>\r
+<char:bracketrightbt><font:Symbol><index:251>\r
+<char:bracerighttp><font:Symbol><index:252>\r
+<char:bracerightmid><font:Symbol><index:253>\r
+<char:bracerightbt><font:Symbol><index:254>\r
+\r
+\r
+# character map for Lucida New Math Extended font\r
+\r
+<char:parenleftbig><font:LucidNewMatExtT><index:161>\r
+<char:parenrightbig><font:LucidNewMatExtT><index:162>\r
+<char:bracketleftbig><font:LucidNewMatExtT><index:163>\r
+<char:bracketrightbig><font:LucidNewMatExtT><index:164>\r
+<char:floorleftbig><font:LucidNewMatExtT><index:165>\r
+<char:floorrightbig><font:LucidNewMatExtT><index:166>\r
+<char:ceilingleftbig><font:LucidNewMatExtT><index:167>\r
+<char:ceilingrightbig><font:LucidNewMatExtT><index:168>\r
+<char:braceleftbig><font:LucidNewMatExtT><index:169>\r
+<char:bracerightbig><font:LucidNewMatExtT><index:170>\r
+<char:angbracketleftbig><font:LucidNewMatExtT><index:173>\r
+<char:angbracketrightbig><font:LucidNewMatExtT><index:174>\r
+<char:vextendsingle><font:LucidNewMatExtT><index:175>\r
+<char:vextenddouble><font:LucidNewMatExtT><index:176>\r
+<char:slashbig><font:LucidNewMatExtT><index:177>\r
+<char:backslashbig><font:LucidNewMatExtT><index:178>\r
+<char:parenleftBig><font:LucidNewMatExtT><index:179>\r
+<char:parenrightBig><font:LucidNewMatExtT><index:180>\r
+<char:parenleftbigg><font:LucidNewMatExtT><index:181>\r
+<char:parenrightbigg><font:LucidNewMatExtT><index:182>\r
+<char:bracketleftbigg><font:LucidNewMatExtT><index:183>\r
+<char:bracketrightbigg><font:LucidNewMatExtT><index:184>\r
+<char:floorleftbigg><font:LucidNewMatExtT><index:185>\r
+<char:floorrightbigg><font:LucidNewMatExtT><index:186>\r
+<char:ceilingleftbigg><font:LucidNewMatExtT><index:187>\r
+<char:ceilingrightbigg><font:LucidNewMatExtT><index:188>\r
+<char:braceleftbigg><font:LucidNewMatExtT><index:189>\r
+<char:bracerightbigg><font:LucidNewMatExtT><index:190>\r
+<char:angbracketleftbigg><font:LucidNewMatExtT><index:28>\r
+<char:angbracketrightbigg><font:LucidNewMatExtT><index:29>\r
+<char:slashbigg><font:LucidNewMatExtT><index:193>\r
+<char:backslashbigg><font:LucidNewMatExtT><index:194>\r
+<char:parenleftBigg><font:LucidNewMatExtT><index:195>\r
+<char:parenrightBigg><font:LucidNewMatExtT><index:33>\r
+<char:bracketleftBigg><font:LucidNewMatExtT><index:34>\r
+<char:bracketrightBigg><font:LucidNewMatExtT><index:35>\r
+<char:floorleftBigg><font:LucidNewMatExtT><index:36>\r
+<char:floorrightBigg><font:LucidNewMatExtT><index:37>\r
+<char:ceilingleftBigg><font:LucidNewMatExtT><index:38>\r
+<char:ceilingrightBigg><font:LucidNewMatExtT><index:39>\r
+<char:braceleftBigg><font:LucidNewMatExtT><index:40>\r
+<char:bracerightBigg><font:LucidNewMatExtT><index:41>\r
+<char:angbracketleftBigg><font:LucidNewMatExtT><index:42>\r
+<char:angbracketrightBigg><font:LucidNewMatExtT><index:43>\r
+<char:slashBigg><font:LucidNewMatExtT><index:44>\r
+<char:backslashBigg><font:LucidNewMatExtT><index:45>\r
+<char:slashBig><font:LucidNewMatExtT><index:46>\r
+<char:backslashBig><font:LucidNewMatExtT><index:47>\r
+<char:parenlefttp><font:LucidNewMatExtT><index:48>\r
+<char:parenrighttp><font:LucidNewMatExtT><index:49>\r
+<char:bracketlefttp><font:LucidNewMatExtT><index:50>\r
+<char:bracketrighttp><font:LucidNewMatExtT><index:51>\r
+<char:bracketleftbt><font:LucidNewMatExtT><index:52>\r
+<char:bracketrightbt><font:LucidNewMatExtT><index:53>\r
+<char:bracketleftex><font:LucidNewMatExtT><index:54>\r
+<char:bracketrightex><font:LucidNewMatExtT><index:55>\r
+<char:bracelefttp><font:LucidNewMatExtT><index:56>\r
+<char:bracerighttp><font:LucidNewMatExtT><index:57>\r
+<char:braceleftbt><font:LucidNewMatExtT><index:58>\r
+<char:bracerightbt><font:LucidNewMatExtT><index:59>\r
+<char:braceleftmid><font:LucidNewMatExtT><index:60>\r
+<char:bracerightmid><font:LucidNewMatExtT><index:61>\r
+<char:braceex><font:LucidNewMatExtT><index:62>\r
+<char:arrowvertex><font:LucidNewMatExtT><index:63>\r
+<char:parenleftbt><font:LucidNewMatExtT><index:64>\r
+<char:parenrightbt><font:LucidNewMatExtT><index:65>\r
+<char:parenleftex><font:LucidNewMatExtT><index:66>\r
+<char:parenrightex><font:LucidNewMatExtT><index:67>\r
+<char:angbracketleftBig><font:LucidNewMatExtT><index:68>\r
+<char:angbracketrightBig><font:LucidNewMatExtT><index:69>\r
+<char:unionsqtext><font:LucidNewMatExtT><index:70>\r
+<char:unionsqdisplay><font:LucidNewMatExtT><index:71>\r
+<char:contintegraltext><font:LucidNewMatExtT><index:72>\r
+<char:contintegraldisplay><font:LucidNewMatExtT><index:73>\r
+<char:circledottext><font:LucidNewMatExtT><index:74>\r
+<char:circledotdisplay><font:LucidNewMatExtT><index:75>\r
+<char:circleplustext><font:LucidNewMatExtT><index:76>\r
+<char:circleplusdisplay><font:LucidNewMatExtT><index:77>\r
+<char:circlemultiplytext><font:LucidNewMatExtT><index:78>\r
+<char:circlemultiplydisplay><font:LucidNewMatExtT><index:79>\r
+<char:summationtext><font:LucidNewMatExtT><index:80>\r
+<char:producttext><font:LucidNewMatExtT><index:81>\r
+<char:integraltext><font:LucidNewMatExtT><index:82>\r
+<char:uniontext><font:LucidNewMatExtT><index:83>\r
+<char:intersectiontext><font:LucidNewMatExtT><index:84>\r
+<char:unionmultitext><font:LucidNewMatExtT><index:85>\r
+<char:logicalandtext><font:LucidNewMatExtT><index:86>\r
+<char:logicalortext><font:LucidNewMatExtT><index:87>\r
+<char:summationdisplay><font:LucidNewMatExtT><index:88>\r
+<char:productdisplay><font:LucidNewMatExtT><index:89>\r
+<char:integraldisplay><font:LucidNewMatExtT><index:90>\r
+<char:uniondisplay><font:LucidNewMatExtT><index:91>\r
+<char:intersectiondisplay><font:LucidNewMatExtT><index:92>\r
+<char:unionmultidisplay><font:LucidNewMatExtT><index:93>\r
+<char:logicalanddisplay><font:LucidNewMatExtT><index:94>\r
+<char:logicalordisplay><font:LucidNewMatExtT><index:95>\r
+<char:coproducttext><font:LucidNewMatExtT><index:96>\r
+<char:coproductdisplay><font:LucidNewMatExtT><index:97>\r
+<char:hatwide><font:LucidNewMatExtT><index:98>\r
+<char:hatwider><font:LucidNewMatExtT><index:99>\r
+<char:hatwidest><font:LucidNewMatExtT><index:100>\r
+<char:tildewide><font:LucidNewMatExtT><index:101>\r
+<char:tildewider><font:LucidNewMatExtT><index:102>\r
+<char:tildewidest><font:LucidNewMatExtT><index:103>\r
+<char:bracketleftBig><font:LucidNewMatExtT><index:104>\r
+<char:bracketrightBig><font:LucidNewMatExtT><index:105>\r
+<char:floorleftBig><font:LucidNewMatExtT><index:106>\r
+<char:floorrightBig><font:LucidNewMatExtT><index:107>\r
+<char:ceilingleftBig><font:LucidNewMatExtT><index:108>\r
+<char:ceilingrightBig><font:LucidNewMatExtT><index:109>\r
+<char:braceleftBig><font:LucidNewMatExtT><index:110>\r
+<char:bracerightBig><font:LucidNewMatExtT><index:111>\r
+<char:radicalbig><font:LucidNewMatExtT><index:112>\r
+<char:radicalBig><font:LucidNewMatExtT><index:113>\r
+<char:radicalbigg><font:LucidNewMatExtT><index:114>\r
+<char:radicalBigg><font:LucidNewMatExtT><index:115>\r
+<char:radicalbt><font:LucidNewMatExtT><index:116>\r
+<char:radicalvertex><font:LucidNewMatExtT><index:117>\r
+<char:radicaltp><font:LucidNewMatExtT><index:118>\r
+<char:arrowvertexdbl><font:LucidNewMatExtT><index:119>\r
+<char:arrowtp><font:LucidNewMatExtT><index:120>\r
+<char:arrowbt><font:LucidNewMatExtT><index:121>\r
+<char:bracehtipdownleft><font:LucidNewMatExtT><index:122>\r
+<char:bracehtipdownright><font:LucidNewMatExtT><index:123>\r
+<char:bracehtipupleft><font:LucidNewMatExtT><index:124>\r
+<char:bracehtipupright><font:LucidNewMatExtT><index:125>\r
+<char:arrowdbltp><font:LucidNewMatExtT><index:126>\r
+<char:arrowdblbt><font:LucidNewMatExtT><index:196>\r