tagger benchmark
[IRC.git] / Robust / src / Benchmarks / mlp / tagger / mlp-java / lucmathext-charmap.txt
diff --git a/Robust/src/Benchmarks/mlp/tagger/mlp-java/lucmathext-charmap.txt b/Robust/src/Benchmarks/mlp/tagger/mlp-java/lucmathext-charmap.txt
new file mode 100644 (file)
index 0000000..623b304
--- /dev/null
@@ -0,0 +1,130 @@
+# 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