tagger benchmark

[IRC.git] / Robust / src / Benchmarks / mlp / tagger / original-java / maps / sources / lucida-math-symbol-map.txt

diff --git a/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-symbol-map.txt b/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-symbol-map.txt
new file mode 100755 (executable)
index 0000000..7868fa9
--- /dev/null
+++ b/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-symbol-map.txt
@@ -0,0 +1,130 @@
+lucida math symbol\r
+\r
+161    minus\r
+162    periodcentered\r
+163    multiply\r
+164    asteriskmath\r
+165    divide\r
+166    diamondmath\r
+167    plusminus\r
+168    minusplus\r
+169    circleplus\r
+170    circleminus\r
+173    circlemultiply\r
+174    circledivide\r
+175    circledot\r
+176    circlecopyrt\r
+177    openbullet\r
+178    bullet\r
+179    equivasymptotic\r
+180    equivalence\r
+181    reflexsubset\r
+182    reflexsuperset\r
+183    lessequal\r
+184    greaterequal\r
+185    precedesequal\r
+186    followsequal\r
+187    similar\r
+188    approxequal\r
+189    propersubset\r
+190    propersuperset\r
+191    lessmuch\r
+192    greatermuch\r
+193    precedes\r
+194    follows\r
+195    arrowleft\r
+196    spade\r
+33     arrowright\r
+34     arrowup\r
+35     arrowdown\r
+36     arrowboth\r
+37     arrownortheast\r
+38     arrowsoutheast\r
+39     similarequal\r
+40     arrowdblleft\r
+41     arrowdblright\r
+42     arrowdblup\r
+43     arrowdbldown\r
+44     arrowdblboth\r
+45     arrownorthwest\r
+46     arrowsouthwest\r
+47     proportional\r
+48     prime\r
+49     infinity\r
+50     element\r
+51     owner\r
+52     triangle\r
+53     triangleinv\r
+54     negationslash\r
+55     mapsto\r
+56     universal\r
+57     existential\r
+58     logicalnot\r
+59     emptyset\r
+60     Rfractur\r
+61     Ifractur\r
+62     latticetop\r
+63     perpendicular\r
+64     aleph\r
+65     scriptA\r
+66     scriptB\r
+67     scriptC\r
+68     scriptD\r
+69     scriptE\r
+70     scriptF\r
+71     scriptG\r
+72     scriptH\r
+73     scriptI\r
+74     scriptJ\r
+75     scriptK\r
+76     scriptL\r
+77     scriptM\r
+78     scriptN\r
+79     scriptO\r
+80     scriptP\r
+81     scriptQ\r
+82     scriptR\r
+83     scriptS\r
+84     scriptT\r
+85     scriptU\r
+86     scriptV\r
+87     scriptW\r
+88     scriptX\r
+89     scriptY\r
+90     scriptZ\r
+91     union\r
+92     intersection\r
+93     unionmulti\r
+94     logicaland\r
+95     logicalor\r
+96     turnstileleft\r
+97     turnstileright\r
+98     floorleft\r
+99     floorright\r
+100    ceilingleft\r
+101    ceilingright\r
+102    braceleft\r
+103    braceright\r
+104    angbracketleft\r
+105    angbracketright\r
+106    bar\r
+107    bardbl\r
+108    arrowbothv\r
+109    arrowdblbothv\r
+110    backslash\r
+111    wreathproduct\r
+112    radical\r
+113    coproduct\r
+114    nabla\r
+115    integral\r
+116    unionsq\r
+117    intersectionsq\r
+118    subsetsqequal\r
+119    supersetsqequal\r
+120    section\r
+121    dagger\r
+122    daggerdbl\r
+123    paragraph\r
+124    club\r
+125    diamond\r
+126    heart\r