LaTeX_maps.hs revision 9929f81562adecc8aafaefb14a0159afcf4a3351
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder Author: Klaus L�ttich
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu Created by a Perl-script (HetCATS/utils/words.pl)!
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder DO NOT MODIFY BY HAND!!
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maedermodule LaTeX_maps where
1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskiimport FiniteMap(listToFM,FiniteMap)
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkeyword_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkeyword_map = listToFM [("(",1569),(")",1569),("A",3051),("B",2871),("C",2915),("D",3095),("E",2664),("F",2539),("G",3173),("H",3158),("I",1558),("J",2274),("K",3163),("L",2534),("M",3831),("N",3158),("O",3032),("P",2759),("Q",3032),("R",3027),("S",2341),("T",2807),("U",3105),("V",3107),("W",4229),("X",3051),("Y",3152),("Z",2466),("\\%",3510),("\\_",1453),("a",2144),("and",6890),("arch",8322),("as",3899),("assoc",9898),("axiom",11112),("axioms",12916),("b",2274),("c",2035),("closed",11512),("comm",11231),("d",2341),("def",5721),("e",2035),("else",7090),("end",6760),("exists",10670),("f",1616),("false",8515),("fit",4211),("forall",9947),("free",7216),("from",8711),("g",2144),("generated",18395),("get",5686),("given",10006),("h",2404),("hide",8058),("i",1298),("idem",9055),("if",2737),("in",3703),("j",1235),("k",2341),("l",1235),("lambda",13520),("library",12741),("local",8711),("m",3510),("n",2404),("not",6177),("o",2176),("op",4485),("ops",6247),("p",2341),("pred",8518),("preds",10273),("q",2274),("r",1821),("result",10726),("reveal",11375),("s",1825),("sort",7230),("sorts",9055),("spec",8143),("t",1614),("then",8423),("to",3790),("true",7735),("type",8072),("types",9898),("u",2404),("unit",7602),("units",9406),("v",2186),("var",6110),("vars",7865),("version",13583),("view",8578),("w",3120),("when",9943),("with",8318),("within",12021),("x",2144),("y",2186),("z",1965),("~",1345)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_keyword_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_keyword_map = listToFM [('a',["and","arch","assoc","axiom","axioms"]),('c',["closed","comm"]),('d',["def"]),('e',["else","end","exists"]),('f',["false","fit","forall","free","from"]),('g',["generated","get","given"]),('h',["hide"]),('i',["idem"]),('l',["lambda","library","local"]),('n',["not"]),('o',["ops"]),('p',["pred","preds"]),('r',["result","reveal"]),('s',["sort","sorts","spec"]),('t',["then","true","type","types"]),('u',["unit","units"]),('v',["var","vars","version","view"]),('w',["when","with","within"])]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederstructid_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederstructid_map = listToFM [(".",1298),("/",2302),("0",2351),("1",2351),("2",2351),("3",2351),("4",2351),("5",2351),("6",2351),("7",2351),("8",2351),("9",2351),("A",2906),("B",2772),("C",2772),("D",2983),("E",2709),("F",2516),("G",2988),("H",3099),("I",1604),("J",2281),("K",2959),("L",2516),("M",3495),("N",3092),("O",2983),("P",2603),("Po",4875),("Q",3053),("R",2807),("S",2492),("T",2759),("U",3036),("V",2907),("W",3931),("Wo",6065),("X",2856),("Y",2948),("Z",2516),("\\_",1396),("a",2358),("b",2253),("c",2253),("d",2421),("e",2200),("f",2046),("ff",3917),("fi",3187),("fl",3917),("g",2421),("h",2513),("i",1316),("j",1860),("k",2358),("l",2046),("ll",4092),("m",2829),("n",2506),("o",2421),("ow",5363),("p",2046),("pi",3362),("q",2478),("r",2200),("s",2028),("t",2074),("u",2463),("v",2200),("w",2983),("x",2200),("y",2222),("z",2046),("~",1325),("�",2906),("�",2983),("�",3036),("�",3882),("�",2358),("�",2421),("�",2463)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_structid_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_structid_map = listToFM []
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederannotationbf_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederannotationbf_map = listToFM [("!",1137),("(",1453),(")",1453),(",",1074),(";",1074),("?",2084),("A",2820),("B",2656),("C",2699),("D",2864),("E",2453),("F",2349),("G",2937),("H",2920),("I",1409),("J",2047),("K",2924),("L",2280),("M",3543),("Mo",5412),("N",2920),("O",2807),("P",2552),("Po",4317),("Q",2807),("R",2801),("S",2107),("T",2600),("U",2870),("V",2872),("Va",4326),("Ve",4224),("Vi",3859),("Vo",4378),("Vu",4585),("W",3910),("Wa",5364),("We",5262),("Wi",4897),("Wo",5416),("Wu",5624),("X",2820),("Y",2914),("Ya",4326),("Ye",4224),("Yo",4378),("Yu",4585),("Z",2284),("\\%",3159),("\\_",1345),("\\{",1869),("\\}",1869),("a",1930),("b",2076),("c",1832),("d",2107),("e",1832),("f",1499),("ff",2538),("fi",2337),("fl",2337),("g",1930),("h",2163),("i",1168),("it",2590),("j",1142),("k",2107),("l",1111),("ll",2223),("m",3159),("n",2163),("o",1958),("p",2107),("pi",3275),("q",2047),("r",1639),("s",1642),("t",1453),("u",2163),("v",2024),("w",2808),("x",1972),("y",2024),("z",1769),("�",2820),("�",2807),("�",2870),("�",2091),("�",1930),("�",1958),("�",2163)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_annotationbf_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_annotationbf_map = listToFM []
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maedernormal_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maedernormal_map = listToFM [("!",1186),("\"'",1755),("\"`",1614),("'",1168),("''",1755),("(",1463),(")",1463),(",",1123),(".",1123),("/",2127),("0",2176),("1",2176),("2",2176),("3",2176),("4",2176),("5",2176),("6",2176),("7",2176),("8",2176),("9",2176),(":",1123),(";",1123),("?",1895),("A",2730),("B",2597),("C",2597),("D",2808),("E",2534),("F",2341),("G",2808),("H",2923),("I",1428),("J",2106),("K",2730),("L",2341),("M",3320),("N",2916),("O",2808),("P",2388),("Po",4141),("Q",2878),("R",2583),("S",2316),("T",2535),("U",2860),("V",2632),("Va",4250),("Ve",4029),("Vi",3607),("Vo",4173),("Vu",4710),("W",3607),("Wa",5173),("We",4987),("Wi",4582),("Wo",5103),("Wu",5623),("X",2632),("Y",2632),("Ya",4095),("Ye",3899),("Yo",4095),("Yu",4499),("Z",2341),("[",1477),("\\$",2176),("\\^{}",1755),("\\_",1263),("\\textbackslash{}",1755),("\\textbar",975),("\\{",1755),("\\}",1755),("\\~{}",1755),("]",1477),("`",1168),("``",1755),("a",2035),("b",2176),("c",1825),("d",2176),("e",1825),("f",1168),("ff",2348),("fi",2176),("fl",2176),("g",1951),("h",2316),("i",1105),("it",2470),("j",1072),("k",2176),("l",1105),("ll",2211),("m",3299),("n",2316),("o",2025),("p",2176),("q",2074),("r",1558),("s",1825),("t",1365),("u",2386),("v",1983),("w",2927),("x",1965),("y",1951),("z",1755),("{\\tt{}\\textquotedblright}",2106),("~",1169),("�",2730),("�",2808),("�",2860),("�",2316),("�",2035),("�",2025),("�",2386)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_normal_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_normal_map = listToFM [('\\',["\\^{}","\\textbackslash{}","\\textbar","\\~{}"]),('{',["{\\tt{}\\textquotedblright}"])]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maedercomment_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maedercomment_map = listToFM [("!",1067),("\"'",1623),("\"`",1493),("'",1051),("''",1623),("(",1317),(")",1317),("*",1623),(",",1010),("-",1263),(".",1010),("0",1958),("1",1958),("2",1958),("3",1958),("4",1958),("5",1958),("6",1958),("7",1958),("8",1958),("9",1958),(":",1010),(";",1010),("<",1067),("=",2631),(">",1705),("?",1705),("@",2975),("A",2457),("B",2337),("C",2344),("D",2527),("E",2280),("F",2119),("G",2547),("H",2631),("I",1285),("J",1895),("K",2524),("L",2107),("M",2988),("N",2625),("O",2527),("P",2209),("Po",3742),("Q",2590),("R",2389),("S",2084),("T",2344),("U",2574),("V",2434),("Va",3825),("Ve",3626),("Vi",3336),("Vo",3787),("Vu",4239),("W",3336),("Wa",4689),("We",4510),("Wi",4238),("Wo",4689),("Wu",5060),("X",2434),("Y",2434),("Ya",3787),("Ye",3608),("Yo",3787),("Yu",4049),("Z",2107),("[",1329),("\\$",1958),("\\^{}",1623),("\\_",1168),("\\textbackslash{}",1623),("\\{",1623),("\\}",1623),("\\~{}",1623),("]",1329),("`",1051),("``",1623),("a",1832),("b",1958),("c",1642),("d",1958),("e",1642),("f",1051),("ff",2113),("fi",1958),("fl",1958),("g",1756),("h",2084),("i",995),("it",2223),("j",992),("k",1958),("l",995),("ll",1990),("m",2969),("n",2084),("o",1822),("p",1958),("q",1866),("r",1402),("s",1642),("t",1262),("u",2148),("v",1784),("w",2634),("x",1769),("y",1756),("z",1579),("{\\tt{}\\textquotedblright}",1895),("|",3246),("~",1082),("�",2457),("�",2527),("�",2574),("�",2084),("�",1832),("�",1822),("�",2148)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_comment_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_comment_map = listToFM [('\\',["\\^{}","\\textbackslash{}","\\~{}"]),('{',["{\\tt{}\\textquotedblright}"])]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederaxiom_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederaxiom_map = listToFM [("!",1168),("\"'",1951),("\"`",1906),("'",1002),("''",1829),("(",1502),(")",1502),("*",1912),("+",2923),(",",975),("-",2923),(".",975),("/",1912),("0",1839),("1",1839),("2",1839),("3",1839),("4",1839),("5",1839),("6",1839),("7",1839),("8",1839),("9",1839),(":",975),(";",975),("<",2923),("=",2923),(">",2923),("?",1657),("@",3232),("A",2609),("B",2830),("C",3021),("D",2980),("E",2803),("F",2758),("G",3021),("H",3184),("I",1908),("J",2337),("K",3208),("L",2341),("M",3722),("N",3184),("O",3021),("P",2740),("Q",3021),("R",2696),("S",2393),("T",2978),("U",3211),("V",3253),("W",4150),("X",3163),("Y",3289),("Z",2662),("[",1095),("\\#",2925),("\\$",2639),("\\%",3349),("\\&",3031),("\\Leftrightarrow",3741),("\\Rightarrow",3741),("\\^{}",2027),("\\_",1263),("\\bullet",1912),("\\exists",2112),("\\exists!",3172),("\\forall",2112),("\\in",2516),("\\mapsto",3825),("\\neg",2516),("\\rightarrow",3741),("\\rightarrow?",5384),("\\textbackslash{}",1755),("\\times",2923),("\\vee",2516),("\\wedge",2516),("\\{",1912),("\\}",1912),("\\~{}",2200),("]",1095),("`",1168),("``",1839),("a",2407),("b",2179),("c",1832),("d",2439),("e",2018),("f",1955),("g",2134),("h",2418),("i",1434),("j",1584),("k",2306),("l",1284),("m",3341),("n",2360),("o",2015),("p",2179),("q",2112),("r",1857),("s",1919),("t",1540),("u",2407),("v",1992),("w",3134),("x",2197),("y",2137),("z",1969),("|",1095),("~",1169),("�",2609),("�",2730),("�",2860),("�",2334),("�",2176),("�",1895),("�",2176)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_axiom_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_axiom_map = listToFM [('\\',["\\Leftrightarrow","\\Rightarrow","\\^{}","\\bullet","\\exists","\\exists!","\\forall","\\in","\\mapsto","\\neg","\\rightarrow","\\rightarrow?","\\textbackslash{}","\\times","\\vee","\\wedge","\\~{}"])]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederannotation_map :: FiniteMap String Int
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederannotation_map = listToFM [("!",1382),("\"'",1623),("\"`",1493),("''",1716),("(",1352),(")",1352),("*",1721),("+",2631),(",",994),("-",2631),(".",901),("/",1721),("0",1655),("1",1655),("2",1655),("3",1655),("4",1655),("5",1655),("6",1655),("7",1655),("8",1655),("9",1655),(":",1173),(";",1173),("<",2631),("<>",5262),("=",2631),(">",2631),("?",2040),("@",2975),("A",2410),("B",2604),("C",2777),("D",2743),("E",2573),("F",2532),("G",2777),("H",2914),("I",1748),("J",2132),("K",2949),("L",2107),("M",3412),("Mo",4764),("N",2914),("O",2781),("P",2521),("Po",4056),("Q",2781),("R",2480),("S",2197),("T",2735),("U",2914),("V",2991),("Va",4094),("Ve",3892),("Vi",3717),("Vo",4018),("Vu",4283),("W",3820),("Wa",5146),("We",4969),("Wi",4546),("Wo",5095),("Wu",5229),("X",2908),("Y",3024),("Ya",4068),("Ye",3892),("Yo",4018),("Yu",4154),("Z",2445),("[",985),("\\$",2375),("\\%",3078),("\\^{}",1865),("\\_",1193),("\\textbackslash{}",1623),("\\times",2631),("\\{",1721),("\\}",1721),("\\~{}",2020),("]",985),("``",1655),("a",2167),("b",1961),("c",1666),("d",2195),("e",1816),("f",1759),("ff",2773),("fi",2239),("fl",2250),("g",1920),("h",2176),("i",1307),("it",2388),("j",1453),("k",2075),("l",1156),("ll",2147),("m",3007),("n",2124),("o",1856),("p",1961),("pi",3010),("q",1901),("r",1707),("s",1727),("t",1386),("u",2167),("v",1831),("w",2820),("x",1977),("y",1923),("z",1772),("~",1082),("�",2410),("�",2486),("�",2574),("�",2100),("�",1958),("�",1705),("�",1958)]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_annotation_map :: FiniteMap Char [String]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederkey_annotation_map = listToFM [('\\',["\\^{}","\\textbackslash{}","\\times","\\~{}"])]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederligatures :: FiniteMap String Bool
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederligatures = listToFM [("\"'",True),("\"`",True),("''",True),("<>",True),("Mo",True),("Po",True),("Va",True),("Ve",True),("Vi",True),("Vo",True),("Vu",True),("Wa",True),("We",True),("Wi",True),("Wo",True),("Wu",True),("Ya",True),("Ye",True),("Yo",True),("Yu",True),("\\#",True),("\\$",True),("\\%",True),("\\&",True),("\\_",True),("\\{",True),("\\}",True),("``",True),("as",True),("ff",True),("fi",True),("fl",True),("if",True),("in",True),("it",True),("ll",True),("op",True),("ow",True),("pi",True),("to",True)]