keep alpha source states during node propagation
[IRC.git] / Robust / src / Benchmarks / mlp / tagger / mlp-smaller / lucmathsym-charmap.txt
diff --git a/Robust/src/Benchmarks/mlp/tagger/mlp-smaller/lucmathsym-charmap.txt b/Robust/src/Benchmarks/mlp/tagger/mlp-smaller/lucmathsym-charmap.txt
new file mode 100644 (file)
index 0000000..bdde61d
--- /dev/null
@@ -0,0 +1,130 @@
+# 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