diff --git a/buildTree.js b/buildTree.js
index 583cce3a7..017e21f59 100644
--- a/buildTree.js
+++ b/buildTree.js
@@ -444,10 +444,9 @@ var makeText = function(value, style) {
     if (metrics) {
         var textNode = new domTree.textNode(value, metrics.height,
             metrics.depth);
-        if (metrics.italicCorrection > 0) {
+        if (metrics.italic > 0) {
             var span = makeSpan([], [textNode]);
-
-            span.style["margin-right"] = metrics.italicCorrection + "em";
+            span.style["margin-right"] = metrics.italic + "em";
 
             return span;
         } else {
@@ -461,11 +460,11 @@ var makeText = function(value, style) {
 };
 
 var mathit = function(value) {
-    return makeSpan(["mathit"], [makeText(value, "italic")]);
+    return makeSpan(["mathit"], [makeText(value, "math-italic")]);
 };
 
 var mathrm = function(value) {
-    return makeText(value, "roman");
+    return makeText(value, "main-regular");
 };
 
 var buildTree = function(tree) {
diff --git a/fontMetrics.js b/fontMetrics.js
index 9cecb43d9..94c915cb0 100644
--- a/fontMetrics.js
+++ b/fontMetrics.js
@@ -63,612 +63,11 @@ var metrics = {
     bigOpSpacing5: xi13
 };
 
-// This map is generated by metrics/metric_parse.py
-var metricMap = {
-    "roman": {
-        "italicCorrection": {
-            "\u2218": 0.0, 
-            "\u03a5": 0.0, 
-            "$": 0.0, 
-            "\u03a9": 0.0, 
-            "(": 0.0, 
-            ",": 0.0, 
-            "0": 0.0, 
-            "4": 0.0, 
-            "8": 0.0, 
-            "<": 0.0, 
-            "@": 0.0, 
-            "D": 0.0, 
-            "H": 0.0, 
-            "L": 0.0, 
-            "P": 0.0, 
-            "T": 0.0, 
-            "\u00d7": 0.0, 
-            "X": 0.0, 
-            "\u2264": 0.0, 
-            "`": 0.0, 
-            "d": 0.0, 
-            "h": 0.0, 
-            "l": 0.0, 
-            "p": 0.0, 
-            "t": 0.0, 
-            "\u00f7": 0.0, 
-            "x": 0.0, 
-            "|": 0.0, 
-            "\u2192": 0.0, 
-            "\u2217": 0.0, 
-            "\u039e": 0.0, 
-            "\u00a0": 0.0, 
-            "\u03a6": 0.0, 
-            "+": 0.0, 
-            "/": 0.0, 
-            "3": 0.0, 
-            "7": 0.0, 
-            ";": 0.0, 
-            "?": 0.0, 
-            "C": 0.0, 
-            "G": 0.0, 
-            "K": 0.0, 
-            "O": 0.0, 
-            "S": 0.0, 
-            "W": 0.0, 
-            "[": 0.0, 
-            "c": 0.0, 
-            "g": 0.0, 
-            "\u2032": 0.0, 
-            "k": 0.0, 
-            "o": 0.0, 
-            "s": 0.0, 
-            "w": 0.0, 
-            "\u0393": 0.0, 
-            "\u2212": 0.0, 
-            "\u039b": 0.0, 
-            "\u221e": 0.0, 
-            "\u03a3": 0.0, 
-            "\"": 0.0, 
-            ".": 0.0, 
-            "\u00b1": 0.0, 
-            "2": 0.0, 
-            "6": 0.0, 
-            ":": 0.0, 
-            ">": 0.0, 
-            "B": 0.0, 
-            "\u22c5": 0.0, 
-            "F": 0.0, 
-            "J": 0.0, 
-            "N": 0.0, 
-            "R": 0.0, 
-            "V": 0.0, 
-            "\u2265": 0.0, 
-            "Z": 0.0, 
-            "b": 0.0, 
-            "f": 0.052, 
-            "j": 0.0, 
-            "n": 0.0, 
-            "r": 0.0, 
-            "v": 0.0, 
-            "z": 0.0, 
-            "\u2190": 0.0, 
-            "\u0394": 0.0, 
-            "\u0398": 0.0, 
-            "!": 0.0, 
-            "\u03a0": 0.0, 
-            ")": 0.0, 
-            "\u03a8": 0.0, 
-            "1": 0.0, 
-            "5": 0.0, 
-            "9": 0.0, 
-            "=": 0.0, 
-            "A": 0.0, 
-            "E": 0.0, 
-            "I": 0.0, 
-            "M": 0.0, 
-            "Q": 0.0, 
-            "U": 0.0, 
-            "Y": 0.0, 
-            "]": 0.0, 
-            "a": 0.0, 
-            "e": 0.0, 
-            "i": 0.0, 
-            "m": 0.0, 
-            "q": 0.0, 
-            "u": 0.0, 
-            "y": 0.0
-        }, 
-        "depth": {
-            "\u2218": 0.0, 
-            "\u03a5": 0.0, 
-            "$": 0.056, 
-            "\u03a9": 0.0, 
-            "(": 0.25, 
-            ",": 0.193, 
-            "0": 0.022, 
-            "4": 0.0, 
-            "8": 0.022, 
-            "<": 0.04, 
-            "@": 0.011, 
-            "D": 0.0, 
-            "H": 0.0, 
-            "L": 0.0, 
-            "P": 0.0, 
-            "T": 0.0, 
-            "\u00d7": 0.0, 
-            "X": 0.0, 
-            "\u2264": 0.137, 
-            "`": 0.0, 
-            "d": 0.011, 
-            "h": 0.0, 
-            "l": 0.0, 
-            "p": 0.194, 
-            "t": 0.011, 
-            "\u00f7": 0.029, 
-            "x": 0.0, 
-            "|": 0.25, 
-            "\u2192": 0.011, 
-            "\u2217": 0.0, 
-            "\u039e": 0.0, 
-            "\u00a0": 0.0, 
-            "\u03a6": 0.0, 
-            "+": 0.083, 
-            "/": 0.25, 
-            "3": 0.022, 
-            "7": 0.022, 
-            ";": 0.193, 
-            "?": 0.0, 
-            "C": 0.022, 
-            "G": 0.022, 
-            "K": 0.0, 
-            "O": 0.022, 
-            "S": 0.022, 
-            "W": 0.022, 
-            "[": 0.25, 
-            "c": 0.011, 
-            "g": 0.206, 
-            "\u2032": 0.0, 
-            "k": 0.0, 
-            "o": 0.011, 
-            "s": 0.011, 
-            "w": 0.011, 
-            "\u0393": 0.0, 
-            "\u2212": 0.0, 
-            "\u039b": 0.0, 
-            "\u221e": 0.011, 
-            "\u03a3": 0.0, 
-            "\"": 0.0, 
-            ".": 0.0, 
-            "\u00b1": 0.0, 
-            "2": 0.0, 
-            "6": 0.022, 
-            ":": 0.0, 
-            ">": 0.04, 
-            "B": 0.0, 
-            "\u22c5": 0.0, 
-            "F": 0.0, 
-            "J": 0.022, 
-            "N": 0.0, 
-            "R": 0.022, 
-            "V": 0.022, 
-            "\u2265": 0.137, 
-            "Z": 0.0, 
-            "b": 0.011, 
-            "f": 0.0, 
-            "j": 0.205, 
-            "n": 0.0, 
-            "r": 0.0, 
-            "v": 0.011, 
-            "z": 0.0, 
-            "\u2190": 0.011, 
-            "\u0394": 0.0, 
-            "\u0398": 0.022, 
-            "!": 0.0, 
-            "\u03a0": 0.0, 
-            ")": 0.25, 
-            "\u03a8": 0.0, 
-            "1": 0.0, 
-            "5": 0.022, 
-            "9": 0.022, 
-            "=": 0.0, 
-            "A": 0.0, 
-            "E": 0.0, 
-            "I": 0.0, 
-            "M": 0.0, 
-            "Q": 0.194, 
-            "U": 0.022, 
-            "Y": 0.0, 
-            "]": 0.25, 
-            "a": 0.011, 
-            "e": 0.011, 
-            "i": 0.0, 
-            "m": 0.0, 
-            "q": 0.194, 
-            "u": 0.011, 
-            "y": 0.205
-        }, 
-        "height": {
-            "\u2218": 0.444, 
-            "\u03a5": 0.705, 
-            "$": 0.75, 
-            "\u03a9": 0.705, 
-            "(": 0.75, 
-            ",": 0.106, 
-            "0": 0.666, 
-            "4": 0.677, 
-            "8": 0.666, 
-            "<": 0.54, 
-            "@": 0.705, 
-            "D": 0.683, 
-            "H": 0.683, 
-            "L": 0.683, 
-            "P": 0.683, 
-            "T": 0.677, 
-            "\u00d7": 0.491, 
-            "X": 0.683, 
-            "\u2264": 0.636, 
-            "`": 0.693, 
-            "d": 0.694, 
-            "h": 0.694, 
-            "l": 0.694, 
-            "p": 0.442, 
-            "t": 0.615, 
-            "\u00f7": 0.529, 
-            "x": 0.431, 
-            "|": 0.75, 
-            "\u2192": 0.511, 
-            "\u2217": 0.465, 
-            "\u039e": 0.677, 
-            "\u00a0": 0.0, 
-            "\u03a6": 0.683, 
-            "+": 0.583, 
-            "/": 0.75, 
-            "3": 0.666, 
-            "7": 0.676, 
-            ";": 0.431, 
-            "?": 0.705, 
-            "C": 0.705, 
-            "G": 0.705, 
-            "K": 0.683, 
-            "O": 0.705, 
-            "S": 0.705, 
-            "W": 0.683, 
-            "[": 0.75, 
-            "c": 0.448, 
-            "g": 0.453, 
-            "\u2032": 0.559, 
-            "k": 0.694, 
-            "o": 0.448, 
-            "s": 0.448, 
-            "w": 0.431, 
-            "\u0393": 0.68, 
-            "\u2212": 0.27, 
-            "\u039b": 0.716, 
-            "\u221e": 0.442, 
-            "\u03a3": 0.683, 
-            "\"": 0.694, 
-            ".": 0.106, 
-            "\u00b1": 0.666, 
-            "2": 0.666, 
-            "6": 0.666, 
-            ":": 0.431, 
-            ">": 0.54, 
-            "B": 0.683, 
-            "\u22c5": 0.303, 
-            "F": 0.68, 
-            "J": 0.683, 
-            "N": 0.683, 
-            "R": 0.683, 
-            "V": 0.683, 
-            "\u2265": 0.636, 
-            "Z": 0.683, 
-            "b": 0.694, 
-            "f": 0.705, 
-            "j": 0.669, 
-            "n": 0.442, 
-            "r": 0.442, 
-            "v": 0.431, 
-            "z": 0.431, 
-            "\u2190": 0.511, 
-            "\u0394": 0.716, 
-            "\u0398": 0.705, 
-            "!": 0.716, 
-            "\u03a0": 0.68, 
-            ")": 0.75, 
-            "\u03a8": 0.683, 
-            "1": 0.666, 
-            "5": 0.666, 
-            "9": 0.666, 
-            "=": 0.367, 
-            "A": 0.716, 
-            "E": 0.68, 
-            "I": 0.683, 
-            "M": 0.683, 
-            "Q": 0.705, 
-            "U": 0.683, 
-            "Y": 0.683, 
-            "]": 0.75, 
-            "a": 0.448, 
-            "e": 0.448, 
-            "i": 0.669, 
-            "m": 0.442, 
-            "q": 0.442, 
-            "u": 0.442, 
-            "y": 0.431
-        }
-    }, 
-    "slanted": {
-        "italicCorrection": {}, 
-        "depth": {}, 
-        "height": {}
-    }, 
-    "bold": {
-        "italicCorrection": {}, 
-        "depth": {}, 
-        "height": {}
-    }, 
-    "italic": {
-        "italicCorrection": {
-            "A": 0.0, 
-            "V": 0.186, 
-            "C": 0.046, 
-            "B": 0.0, 
-            "x": 0.0, 
-            "E": 0.026, 
-            "D": 0.0, 
-            "q": 0.006, 
-            "G": 0.0, 
-            "F": 0.106, 
-            "\u03b1": 0.0, 
-            "I": 0.058, 
-            "\u03b3": 0.026, 
-            "\u03b2": 0.01, 
-            "\u03b5": 0.0, 
-            "\u03b4": 0.008, 
-            "\u03b7": 0.0, 
-            "\u03b6": 0.037, 
-            "\u03b9": 0.0, 
-            "\u03b8": 0.0, 
-            "\u03bb": 0.0, 
-            "\u03ba": 0.0, 
-            "\u03bd": 0.031, 
-            "\u03bc": 0.0, 
-            "\u03be": 0.009, 
-            "\u03c1": 0.0, 
-            "\u03c0": 0.0, 
-            "\u03c3": 0.0, 
-            "\u03c2": 0.047, 
-            "\u03c5": 0.0, 
-            "\u03c4": 0.074, 
-            "\u03c7": 0.0, 
-            "\u03c6": 0.0, 
-            "\u03c9": 0.0, 
-            "\u03c8": 0.0, 
-            "K": 0.04, 
-            "J": 0.079, 
-            "M": 0.074, 
-            "L": 0.0, 
-            "O": 0.0, 
-            "N": 0.078, 
-            "\u03d1": 0.0, 
-            "P": 0.112, 
-            "S": 0.032, 
-            "R": 0.0, 
-            "\u03d5": 0.0, 
-            "T": 0.12, 
-            "W": 0.104, 
-            "\u03d6": 0.0, 
-            "Y": 0.182, 
-            "X": 0.023, 
-            "w": 0.0, 
-            "Z": 0.041, 
-            "a": 0.0, 
-            "Q": 0.0, 
-            "c": 0.0, 
-            "b": 0.0, 
-            "e": 0.0, 
-            "d": 0.0, 
-            "g": 0.0, 
-            "f": 0.063, 
-            "i": 0.0, 
-            "h": 0.0, 
-            "k": 0.0, 
-            "j": 0.0, 
-            "m": 0.0, 
-            "l": 0.0, 
-            "o": 0.0, 
-            "n": 0.0, 
-            "\u03f1": 0.0, 
-            "p": 0.0, 
-            "s": 0.0, 
-            "r": 0.0, 
-            "u": 0.0, 
-            "t": 0.0, 
-            "H": 0.05, 
-            "v": 0.0, 
-            "y": 0.0, 
-            "U": 0.078, 
-            "z": 0.002
-        }, 
-        "depth": {
-            "A": 0.0, 
-            "V": 0.022, 
-            "C": 0.022, 
-            "B": 0.0, 
-            "x": 0.011, 
-            "E": 0.0, 
-            "D": 0.0, 
-            "q": 0.194, 
-            "G": 0.022, 
-            "F": 0.0, 
-            "\u03b1": 0.011, 
-            "I": 0.0, 
-            "\u03b3": 0.215, 
-            "\u03b2": 0.194, 
-            "\u03b5": 0.022, 
-            "\u03b4": 0.012, 
-            "\u03b7": 0.216, 
-            "\u03b6": 0.205, 
-            "\u03b9": 0.011, 
-            "\u03b8": 0.011, 
-            "\u03bb": 0.013, 
-            "\u03ba": 0.011, 
-            "\u03bd": 0.0, 
-            "\u03bc": 0.216, 
-            "\u03be": 0.205, 
-            "\u03c1": 0.216, 
-            "\u03c0": 0.011, 
-            "\u03c3": 0.011, 
-            "\u03c2": 0.108, 
-            "\u03c5": 0.011, 
-            "\u03c4": 0.012, 
-            "\u03c7": 0.205, 
-            "\u03c6": 0.218, 
-            "\u03c9": 0.011, 
-            "\u03c8": 0.205, 
-            "K": 0.0, 
-            "J": 0.022, 
-            "M": 0.0, 
-            "L": 0.0, 
-            "O": 0.022, 
-            "N": 0.0, 
-            "\u03d1": 0.011, 
-            "P": 0.0, 
-            "S": 0.022, 
-            "R": 0.022, 
-            "\u03d5": 0.205, 
-            "T": 0.0, 
-            "W": 0.022, 
-            "\u03d6": 0.011, 
-            "Y": 0.0, 
-            "X": 0.0, 
-            "w": 0.011, 
-            "Z": 0.0, 
-            "a": 0.011, 
-            "Q": 0.194, 
-            "c": 0.011, 
-            "b": 0.011, 
-            "e": 0.011, 
-            "d": 0.011, 
-            "g": 0.205, 
-            "f": 0.205, 
-            "i": 0.011, 
-            "h": 0.011, 
-            "k": 0.011, 
-            "j": 0.205, 
-            "m": 0.011, 
-            "l": 0.011, 
-            "o": 0.011, 
-            "n": 0.011, 
-            "\u03f1": 0.194, 
-            "p": 0.194, 
-            "s": 0.011, 
-            "r": 0.011, 
-            "u": 0.011, 
-            "t": 0.011, 
-            "H": 0.0, 
-            "v": 0.011, 
-            "y": 0.205, 
-            "U": 0.022, 
-            "z": 0.011
-        }, 
-        "height": {
-            "A": 0.716, 
-            "V": 0.683, 
-            "C": 0.705, 
-            "B": 0.683, 
-            "x": 0.442, 
-            "E": 0.68, 
-            "D": 0.683, 
-            "q": 0.442, 
-            "G": 0.705, 
-            "F": 0.68, 
-            "\u03b1": 0.442, 
-            "I": 0.683, 
-            "\u03b3": 0.442, 
-            "\u03b2": 0.706, 
-            "\u03b5": 0.453, 
-            "\u03b4": 0.711, 
-            "\u03b7": 0.442, 
-            "\u03b6": 0.697, 
-            "\u03b9": 0.442, 
-            "\u03b8": 0.705, 
-            "\u03bb": 0.694, 
-            "\u03ba": 0.442, 
-            "\u03bd": 0.442, 
-            "\u03bc": 0.442, 
-            "\u03be": 0.697, 
-            "\u03c1": 0.442, 
-            "\u03c0": 0.431, 
-            "\u03c3": 0.431, 
-            "\u03c2": 0.442, 
-            "\u03c5": 0.442, 
-            "\u03c4": 0.431, 
-            "\u03c7": 0.442, 
-            "\u03c6": 0.442, 
-            "\u03c9": 0.442, 
-            "\u03c8": 0.694, 
-            "K": 0.683, 
-            "J": 0.683, 
-            "M": 0.683, 
-            "L": 0.683, 
-            "O": 0.705, 
-            "N": 0.683, 
-            "\u03d1": 0.705, 
-            "P": 0.683, 
-            "S": 0.705, 
-            "R": 0.683, 
-            "\u03d5": 0.694, 
-            "T": 0.677, 
-            "W": 0.683, 
-            "\u03d6": 0.431, 
-            "Y": 0.683, 
-            "X": 0.683, 
-            "w": 0.442, 
-            "Z": 0.683, 
-            "a": 0.442, 
-            "Q": 0.705, 
-            "c": 0.442, 
-            "b": 0.694, 
-            "e": 0.442, 
-            "d": 0.694, 
-            "g": 0.442, 
-            "f": 0.705, 
-            "i": 0.661, 
-            "h": 0.694, 
-            "k": 0.694, 
-            "j": 0.661, 
-            "m": 0.442, 
-            "l": 0.694, 
-            "o": 0.442, 
-            "n": 0.442, 
-            "\u03f1": 0.442, 
-            "p": 0.442, 
-            "s": 0.442, 
-            "r": 0.442, 
-            "u": 0.442, 
-            "t": 0.626, 
-            "H": 0.683, 
-            "v": 0.442, 
-            "y": 0.442, 
-            "U": 0.683, 
-            "z": 0.442
-        }
-    }, 
-    "typewriter": {
-        "italicCorrection": {}, 
-        "depth": {}, 
-        "height": {}
-    }
-};
+// This map is generated by metric_parse.rb
+var metricMap = {"main-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"33":{"height":0.716,"depth":-0.001,"italic":0.0},"34":{"height":0.694,"depth":-0.379,"italic":0.0},"35":{"height":0.694,"depth":0.194,"italic":0.0},"36":{"height":0.75,"depth":0.056,"italic":0.0},"37":{"height":0.75,"depth":0.056,"italic":0.0},"38":{"height":0.716,"depth":0.022,"italic":0.0},"39":{"height":0.694,"depth":-0.379,"italic":0.0},"40":{"height":0.75,"depth":0.25,"italic":0.0},"41":{"height":0.75,"depth":0.25,"italic":0.0},"42":{"height":0.75,"depth":-0.32,"italic":0.0},"43":{"height":0.583,"depth":0.082,"italic":0.0},"44":{"height":0.121,"depth":0.194,"italic":0.0},"45":{"height":0.252,"depth":-0.179,"italic":0.0},"46":{"height":0.12,"depth":0.0,"italic":0.0},"47":{"height":0.75,"depth":0.25,"italic":0.0},"48":{"height":0.666,"depth":0.022,"italic":0.0},"49":{"height":0.666,"depth":0.0,"italic":0.0},"50":{"height":0.666,"depth":0.0,"italic":0.0},"51":{"height":0.665,"depth":0.022,"italic":0.0},"52":{"height":0.677,"depth":0.0,"italic":0.0},"53":{"height":0.666,"depth":0.022,"italic":0.0},"54":{"height":0.666,"depth":0.022,"italic":0.0},"55":{"height":0.676,"depth":0.022,"italic":0.0},"56":{"height":0.666,"depth":0.022,"italic":0.0},"57":{"height":0.666,"depth":0.022,"italic":0.0},"58":{"height":0.43,"depth":0.0,"italic":0.0},"59":{"height":0.43,"depth":0.194,"italic":0.0},"60":{"height":0.54,"depth":0.04,"italic":0.0},"61":{"height":0.367,"depth":-0.133,"italic":0.0},"62":{"height":0.54,"depth":0.04,"italic":0.0},"63":{"height":0.705,"depth":-0.001,"italic":0.0},"64":{"height":0.705,"depth":0.011,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.021,"italic":0.0},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.0},"70":{"height":0.68,"depth":0.0,"italic":0.0},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.0},"73":{"height":0.683,"depth":0.0,"italic":0.0},"74":{"height":0.683,"depth":0.022,"italic":0.0},"75":{"height":0.683,"depth":0.0,"italic":0.0},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.0},"78":{"height":0.683,"depth":0.0,"italic":0.0},"79":{"height":0.705,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.0},"81":{"height":0.705,"depth":0.193,"italic":0.0},"82":{"height":0.683,"depth":0.022,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.0},"84":{"height":0.677,"depth":0.0,"italic":0.0},"85":{"height":0.683,"depth":0.022,"italic":0.0},"86":{"height":0.683,"depth":0.022,"italic":0.0},"87":{"height":0.683,"depth":0.022,"italic":0.0},"88":{"height":0.683,"depth":0.0,"italic":0.0},"89":{"height":0.683,"depth":0.0,"italic":0.0},"90":{"height":0.683,"depth":0.0,"italic":0.0},"91":{"height":0.75,"depth":0.25,"italic":0.0},"92":{"height":0.75,"depth":0.25,"italic":0.0},"93":{"height":0.75,"depth":0.25,"italic":0.0},"94":{"height":0.694,"depth":-0.531,"italic":0.0},"95":{"height":-0.025,"depth":0.062,"italic":0.0},"96":{"height":0.699,"depth":-0.505,"italic":0.0},"97":{"height":0.448,"depth":0.011,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.448,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.011,"italic":0.0},"101":{"height":0.448,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.0,"italic":0.066},"103":{"height":0.453,"depth":0.206,"italic":0.0},"104":{"height":0.694,"depth":0.0,"italic":0.0},"105":{"height":0.669,"depth":0.0,"italic":0.0},"106":{"height":0.669,"depth":0.205,"italic":0.0},"107":{"height":0.694,"depth":0.0,"italic":0.0},"108":{"height":0.694,"depth":0.0,"italic":0.0},"109":{"height":0.442,"depth":0.0,"italic":0.0},"110":{"height":0.442,"depth":0.0,"italic":0.0},"111":{"height":0.448,"depth":0.01,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.007},"114":{"height":0.442,"depth":0.0,"italic":0.0},"115":{"height":0.448,"depth":0.011,"italic":0.0},"116":{"height":0.615,"depth":0.01,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.431,"depth":0.011,"italic":0.0},"119":{"height":0.431,"depth":0.011,"italic":0.0},"120":{"height":0.431,"depth":0.0,"italic":0.0},"121":{"height":0.431,"depth":0.204,"italic":0.0},"122":{"height":0.431,"depth":0.0,"italic":0.0},"123":{"height":0.75,"depth":0.25,"italic":0.0},"124":{"height":0.75,"depth":0.249,"italic":0.0},"125":{"height":0.75,"depth":0.25,"italic":0.0},"126":{"height":0.318,"depth":-0.215,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"168":{"height":0.669,"depth":-0.554,"italic":0.0},"172":{"height":0.356,"depth":-0.089,"italic":0.0},"173":{"height":0.252,"depth":-0.179,"italic":0.0},"175":{"height":0.59,"depth":-0.544,"italic":0.0},"176":{"height":0.715,"depth":-0.542,"italic":0.0},"177":{"height":0.666,"depth":0.0,"italic":0.0},"180":{"height":0.699,"depth":-0.505,"italic":0.0},"215":{"height":0.491,"depth":-0.009,"italic":0.0},"247":{"height":0.537,"depth":0.036,"italic":0.0},"305":{"height":0.442,"depth":0.0,"italic":0.0},"567":{"height":0.442,"depth":0.205,"italic":0.0},"710":{"height":0.694,"depth":-0.531,"italic":0.0},"711":{"height":0.644,"depth":-0.513,"italic":0.0},"713":{"height":0.59,"depth":-0.544,"italic":0.0},"714":{"height":0.699,"depth":-0.505,"italic":0.0},"715":{"height":0.699,"depth":-0.505,"italic":0.0},"728":{"height":0.694,"depth":-0.515,"italic":0.0},"729":{"height":0.669,"depth":-0.549,"italic":0.0},"730":{"height":0.715,"depth":-0.542,"italic":0.0},"732":{"height":0.668,"depth":-0.565,"italic":0.0},"768":{"height":0.699,"depth":-0.505,"italic":0.0},"769":{"height":0.699,"depth":-0.505,"italic":0.0},"770":{"height":0.694,"depth":-0.531,"italic":0.0},"771":{"height":0.668,"depth":-0.565,"italic":0.0},"772":{"height":0.59,"depth":-0.544,"italic":0.0},"774":{"height":0.694,"depth":-0.515,"italic":0.0},"775":{"height":0.669,"depth":-0.549,"italic":0.0},"776":{"height":0.669,"depth":-0.554,"italic":0.0},"778":{"height":0.715,"depth":-0.542,"italic":0.0},"779":{"height":0.701,"depth":-0.51,"italic":0.0},"780":{"height":0.644,"depth":-0.513,"italic":0.0},"824":{"height":0.716,"depth":0.215,"italic":0.0},"915":{"height":0.68,"depth":0.0,"italic":0.0},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.705,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.0},"928":{"height":0.68,"depth":0.0,"italic":0.0},"931":{"height":0.683,"depth":0.0,"italic":0.0},"933":{"height":0.705,"depth":0.0,"italic":0.0},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.0},"937":{"height":0.704,"depth":0.0,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8208":{"height":0.252,"depth":-0.179,"italic":0.0},"8209":{"height":0.252,"depth":-0.179,"italic":0.0},"8210":{"height":0.252,"depth":-0.179,"italic":0.0},"8211":{"height":0.285,"depth":-0.248,"italic":0.0},"8212":{"height":0.285,"depth":-0.248,"italic":0.0},"8216":{"height":0.694,"depth":-0.379,"italic":0.0},"8217":{"height":0.694,"depth":-0.379,"italic":0.0},"8220":{"height":0.694,"depth":-0.379,"italic":0.0},"8221":{"height":0.694,"depth":-0.379,"italic":0.0},"8224":{"height":0.705,"depth":0.216,"italic":0.0},"8225":{"height":0.705,"depth":0.205,"italic":0.0},"8230":{"height":0.12,"depth":0.0,"italic":0.0},"8239":{"height":0,"depth":0,"italic":0},"8242":{"height":0.56,"depth":-0.043,"italic":0.0},"8287":{"height":0,"depth":0,"italic":0},"8407":{"height":0.714,"depth":-0.516,"italic":0.0},"8463":{"height":0.695,"depth":0.013,"italic":0.022},"8465":{"height":0.705,"depth":0.01,"italic":0.0},"8467":{"height":0.705,"depth":0.02,"italic":0.0},"8472":{"height":0.453,"depth":0.216,"italic":0.0},"8476":{"height":0.716,"depth":0.022,"italic":0.0},"8501":{"height":0.694,"depth":0.0,"italic":0.0},"8592":{"height":0.511,"depth":0.011,"italic":0.0},"8593":{"height":0.694,"depth":0.193,"italic":0.0},"8594":{"height":0.511,"depth":0.011,"italic":0.0},"8595":{"height":0.694,"depth":0.194,"italic":0.0},"8596":{"height":0.511,"depth":0.011,"italic":0.0},"8597":{"height":0.772,"depth":0.272,"italic":0.0},"8598":{"height":0.72,"depth":0.195,"italic":0.0},"8599":{"height":0.72,"depth":0.195,"italic":0.0},"8600":{"height":0.695,"depth":0.22,"italic":0.0},"8601":{"height":0.695,"depth":0.22,"italic":0.0},"8614":{"height":0.511,"depth":0.011,"italic":0.0},"8617":{"height":0.511,"depth":0.011,"italic":0.0},"8618":{"height":0.511,"depth":0.011,"italic":0.0},"8636":{"height":0.511,"depth":-0.23,"italic":0.0},"8637":{"height":0.27,"depth":0.011,"italic":0.0},"8640":{"height":0.511,"depth":-0.23,"italic":0.0},"8641":{"height":0.27,"depth":0.011,"italic":0.0},"8652":{"height":0.671,"depth":0.011,"italic":0.0},"8656":{"height":0.525,"depth":0.024,"italic":0.0},"8657":{"height":0.694,"depth":0.194,"italic":0.0},"8658":{"height":0.525,"depth":0.024,"italic":0.0},"8659":{"height":0.694,"depth":0.194,"italic":0.0},"8660":{"height":0.526,"depth":0.025,"italic":0.0},"8661":{"height":0.772,"depth":0.272,"italic":0.0},"8704":{"height":0.694,"depth":0.022,"italic":0.0},"8706":{"height":0.715,"depth":0.022,"italic":0.035},"8707":{"height":0.694,"depth":0.0,"italic":0.0},"8709":{"height":0.772,"depth":0.078,"italic":0.0},"8711":{"height":0.683,"depth":0.033,"italic":0.0},"8712":{"height":0.54,"depth":0.04,"italic":0.0},"8713":{"height":0.716,"depth":0.215,"italic":0.0},"8715":{"height":0.54,"depth":0.04,"italic":0.0},"8722":{"height":0.27,"depth":-0.23,"italic":0.0},"8723":{"height":0.5,"depth":0.166,"italic":0.0},"8725":{"height":0.75,"depth":0.25,"italic":0.0},"8726":{"height":0.75,"depth":0.25,"italic":0.0},"8727":{"height":0.465,"depth":-0.035,"italic":0.0},"8728":{"height":0.444,"depth":-0.055,"italic":0.0},"8729":{"height":0.444,"depth":-0.055,"italic":0.0},"8730":{"height":0.8,"depth":0.2,"italic":0.021},"8733":{"height":0.442,"depth":0.011,"italic":0.0},"8734":{"height":0.442,"depth":0.011,"italic":0.0},"8736":{"height":0.694,"depth":0.0,"italic":0.0},"8739":{"height":0.75,"depth":0.249,"italic":0.0},"8741":{"height":0.75,"depth":0.25,"italic":0.0},"8743":{"height":0.598,"depth":0.022,"italic":0.0},"8744":{"height":0.598,"depth":0.022,"italic":0.0},"8745":{"height":0.598,"depth":0.022,"italic":0.0},"8746":{"height":0.598,"depth":0.022,"italic":0.0},"8747":{"height":0.716,"depth":0.216,"italic":0.055},"8764":{"height":0.367,"depth":-0.133,"italic":0.0},"8768":{"height":0.583,"depth":0.083,"italic":0.0},"8771":{"height":0.464,"depth":-0.036,"italic":0.0},"8773":{"height":0.589,"depth":-0.022,"italic":0.0},"8776":{"height":0.483,"depth":-0.055,"italic":0.0},"8781":{"height":0.484,"depth":-0.016,"italic":0.0},"8784":{"height":0.67,"depth":-0.133,"italic":0.0},"8800":{"height":0.716,"depth":0.215,"italic":0.0},"8801":{"height":0.464,"depth":-0.036,"italic":0.0},"8804":{"height":0.636,"depth":0.138,"italic":0.0},"8805":{"height":0.636,"depth":0.138,"italic":0.0},"8810":{"height":0.568,"depth":0.067,"italic":0.0},"8811":{"height":0.567,"depth":0.067,"italic":0.0},"8826":{"height":0.539,"depth":0.041,"italic":0.0},"8827":{"height":0.539,"depth":0.041,"italic":0.0},"8834":{"height":0.54,"depth":0.04,"italic":0.0},"8835":{"height":0.54,"depth":0.04,"italic":0.0},"8838":{"height":0.636,"depth":0.138,"italic":0.0},"8839":{"height":0.636,"depth":0.138,"italic":0.0},"8846":{"height":0.598,"depth":0.022,"italic":0.0},"8849":{"height":0.636,"depth":0.138,"italic":0.0},"8850":{"height":0.636,"depth":0.138,"italic":0.0},"8851":{"height":0.598,"depth":0.0,"italic":0.0},"8852":{"height":0.598,"depth":0.0,"italic":0.0},"8853":{"height":0.583,"depth":0.083,"italic":0.0},"8854":{"height":0.583,"depth":0.083,"italic":0.0},"8855":{"height":0.583,"depth":0.083,"italic":0.0},"8856":{"height":0.583,"depth":0.083,"italic":0.0},"8857":{"height":0.583,"depth":0.083,"italic":0.0},"8866":{"height":0.694,"depth":0.0,"italic":0.0},"8867":{"height":0.694,"depth":0.0,"italic":0.0},"8868":{"height":0.668,"depth":0.0,"italic":0.0},"8869":{"height":0.668,"depth":0.0,"italic":0.0},"8872":{"height":0.75,"depth":0.249,"italic":0.0},"8900":{"height":0.488,"depth":-0.012,"italic":0.0},"8901":{"height":0.31,"depth":-0.19,"italic":0.0},"8902":{"height":0.486,"depth":-0.016,"italic":0.0},"8904":{"height":0.505,"depth":0.005,"italic":0.0},"8942":{"height":0.9,"depth":0.03,"italic":0.0},"8943":{"height":0.31,"depth":-0.19,"italic":0.0},"8945":{"height":0.82,"depth":-0.1,"italic":0.0},"8968":{"height":0.75,"depth":0.25,"italic":0.0},"8969":{"height":0.75,"depth":0.25,"italic":0.0},"8970":{"height":0.75,"depth":0.25,"italic":0.0},"8971":{"height":0.75,"depth":0.25,"italic":0.0},"8994":{"height":0.388,"depth":-0.122,"italic":0.0},"8995":{"height":0.378,"depth":-0.134,"italic":0.0},"9136":{"height":0.744,"depth":0.244,"italic":0.0},"9137":{"height":0.744,"depth":0.244,"italic":0.0},"9651":{"height":0.716,"depth":0.0,"italic":0.0},"9657":{"height":0.505,"depth":0.005,"italic":0.0},"9661":{"height":0.5,"depth":0.215,"italic":0.0},"9667":{"height":0.505,"depth":0.005,"italic":0.0},"9711":{"height":0.715,"depth":0.215,"italic":0.0},"9824":{"height":0.727,"depth":0.13,"italic":0.0},"9825":{"height":0.716,"depth":0.033,"italic":0.0},"9826":{"height":0.727,"depth":0.162,"italic":0.0},"9827":{"height":0.726,"depth":0.13,"italic":0.0},"9837":{"height":0.75,"depth":0.022,"italic":0.0},"9838":{"height":0.734,"depth":0.223,"italic":0.0},"9839":{"height":0.723,"depth":0.223,"italic":0.0},"10216":{"height":0.75,"depth":0.25,"italic":0.0},"10217":{"height":0.75,"depth":0.25,"italic":0.0},"10222":{"height":0.744,"depth":0.244,"italic":0.0},"10223":{"height":0.744,"depth":0.244,"italic":0.0},"10229":{"height":0.511,"depth":0.011,"italic":0.0},"10230":{"height":0.511,"depth":0.011,"italic":0.0},"10231":{"height":0.511,"depth":0.011,"italic":0.0},"10232":{"height":0.525,"depth":0.024,"italic":0.0},"10233":{"height":0.525,"depth":0.024,"italic":0.0},"10234":{"height":0.525,"depth":0.024,"italic":0.0},"10236":{"height":0.511,"depth":0.011,"italic":0.0},"10815":{"height":0.683,"depth":0.0,"italic":0.0},"10927":{"height":0.636,"depth":0.138,"italic":0.0},"10928":{"height":0.636,"depth":0.138,"italic":0.0},"57344":{"height":0.43,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"math-italic":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"47":{"height":0.716,"depth":0.215,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.022,"italic":0.045},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.026},"70":{"height":0.68,"depth":0.0,"italic":0.106},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.058},"73":{"height":0.683,"depth":0.0,"italic":0.064},"74":{"height":0.683,"depth":0.022,"italic":0.078},"75":{"height":0.683,"depth":0.0,"italic":0.041},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.081},"78":{"height":0.683,"depth":0.0,"italic":0.085},"79":{"height":0.704,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.109},"81":{"height":0.704,"depth":0.194,"italic":0.0},"82":{"height":0.683,"depth":0.021,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.032},"84":{"height":0.677,"depth":0.0,"italic":0.12},"85":{"height":0.683,"depth":0.022,"italic":0.084},"86":{"height":0.683,"depth":0.022,"italic":0.187},"87":{"height":0.683,"depth":0.022,"italic":0.104},"88":{"height":0.683,"depth":0.0,"italic":0.024},"89":{"height":0.683,"depth":-0.001,"italic":0.183},"90":{"height":0.683,"depth":0.0,"italic":0.041},"97":{"height":0.441,"depth":0.01,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.442,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.01,"italic":0.003},"101":{"height":0.442,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.205,"italic":0.06},"103":{"height":0.442,"depth":0.205,"italic":0.003},"104":{"height":0.694,"depth":0.011,"italic":0.0},"105":{"height":0.661,"depth":0.011,"italic":0.0},"106":{"height":0.661,"depth":0.204,"italic":0.0},"107":{"height":0.694,"depth":0.011,"italic":0.0},"108":{"height":0.694,"depth":0.011,"italic":0.0},"109":{"height":0.442,"depth":0.011,"italic":0.0},"110":{"height":0.442,"depth":0.011,"italic":0.0},"111":{"height":0.441,"depth":0.011,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.014},"114":{"height":0.442,"depth":0.011,"italic":0.0},"115":{"height":0.442,"depth":0.01,"italic":0.0},"116":{"height":0.626,"depth":0.011,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.443,"depth":0.011,"italic":0.0},"119":{"height":0.443,"depth":0.011,"italic":0.0},"120":{"height":0.442,"depth":0.011,"italic":0.0},"121":{"height":0.442,"depth":0.205,"italic":0.006},"122":{"height":0.442,"depth":0.011,"italic":0.003},"160":{"height":0,"depth":0,"italic":0},"915":{"height":0.68,"depth":-0.001,"italic":0.106},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.704,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.035},"928":{"height":0.68,"depth":0.0,"italic":0.057},"931":{"height":0.683,"depth":0.0,"italic":0.026},"933":{"height":0.705,"depth":0.0,"italic":0.118},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.08},"937":{"height":0.704,"depth":0.0,"italic":0.014},"945":{"height":0.442,"depth":0.011,"italic":0.0},"946":{"height":0.705,"depth":0.194,"italic":0.007},"947":{"height":0.441,"depth":0.216,"italic":0.025},"948":{"height":0.717,"depth":0.01,"italic":0.007},"949":{"height":0.452,"depth":0.022,"italic":0.0},"950":{"height":0.704,"depth":0.204,"italic":0.033},"951":{"height":0.442,"depth":0.216,"italic":0.006},"952":{"height":0.705,"depth":0.01,"italic":0.0},"953":{"height":0.442,"depth":0.01,"italic":0.0},"954":{"height":0.442,"depth":0.011,"italic":0.0},"955":{"height":0.694,"depth":0.012,"italic":0.0},"956":{"height":0.442,"depth":0.216,"italic":0.0},"957":{"height":0.442,"depth":0.002,"italic":0.036},"958":{"height":0.704,"depth":0.205,"italic":0.005},"959":{"height":0.441,"depth":0.011,"italic":0.0},"960":{"height":0.431,"depth":0.011,"italic":0.003},"961":{"height":0.442,"depth":0.216,"italic":0.0},"962":{"height":0.442,"depth":0.107,"italic":0.042},"963":{"height":0.431,"depth":0.011,"italic":0.001},"964":{"height":0.431,"depth":0.013,"italic":0.081},"965":{"height":0.443,"depth":0.01,"italic":0.0},"966":{"height":0.442,"depth":0.218,"italic":0.0},"967":{"height":0.442,"depth":0.204,"italic":0.0},"968":{"height":0.694,"depth":0.205,"italic":0.0},"969":{"height":0.443,"depth":0.011,"italic":0.0},"977":{"height":0.705,"depth":0.011,"italic":0.0},"981":{"height":0.694,"depth":0.205,"italic":0.0},"982":{"height":0.431,"depth":0.01,"italic":0.0},"1009":{"height":0.442,"depth":0.194,"italic":0.0},"1013":{"height":0.431,"depth":0.011,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"57344":{"height":0.44,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}}};
 
 var getCharacterMetrics = function(character, style) {
-    if (character in metricMap[style].height) {
-        return {
-            height: metricMap[style].height[character],
-            depth: metricMap[style].depth[character],
-            italicCorrection: metricMap[style].italicCorrection[character]
-        };
-    } else {
-        return null;
-    }
+    return metricMap[style][character.charCodeAt(0)];
 };
 
 module.exports = {
diff --git a/metric_parse.rb b/metric_parse.rb
new file mode 100644
index 000000000..150087319
--- /dev/null
+++ b/metric_parse.rb
@@ -0,0 +1,46 @@
+require 'json'
+
+require 'rubygems'
+
+require 'ttfunk'
+
+def metrics_for_file(filename)
+  file = TTFunk::File.open(filename)
+  per_em = 1.0 * file.header.units_per_em
+
+  chars = {}
+
+  file.cmap.unicode[0].code_map.sort.each do |u, g|
+    horiz = file.horizontal_metrics.for(g)
+
+    # width = (horiz.advance_width / per_em).round(3)
+    height = 0
+    depth = 0
+    italic = 0
+
+    glyph = file.glyph_outlines.for(g)
+    if glyph
+      height = (glyph.y_max / per_em).round(3)
+      depth = (-glyph.y_min / per_em).round(3)
+      italic = [0, (glyph.x_max - horiz.advance_width) / per_em].max.round(3)
+    end
+
+    chars[u] = {
+      # :width => width,
+      :height => height,
+      :depth => depth,
+      :italic => italic,
+    }
+  end
+
+  chars
+end
+
+font_dir = File.join(File.dirname(__FILE__), 'static/fonts/')
+metrics = {}
+
+%w[main-regular math-italic].each do |face|
+  metrics[face] = metrics_for_file(File.join(font_dir, 'katex_%s.ttf' % face))
+end
+
+puts "var metricMap = %s;" % metrics.to_json
diff --git a/metrics/cmex10.pl b/metrics/cmex10.pl
deleted file mode 100644
index 26ff0996f..000000000
--- a/metrics/cmex10.pl
+++ /dev/null
@@ -1,860 +0,0 @@
-(FAMILY cmex10)
-(CODINGSCHEME FONTSPECIFIC)
-(DESIGNSIZE R 10.0)
-(DESIGNUNITS R 1000)
-(COMMENT DESIGNSIZE (1 em) IS IN POINTS)
-(COMMENT OTHER DIMENSIONS ARE MULTIPLES OF DESIGNSIZE/1000)
-(BOUNDARYCHAR O 201)
-(FONTDIMEN
-   (SLANT R 0.000000)
-   (SPACE D 333)
-   (STRETCH D 166)
-   (SHRINK D 111)
-   (XHEIGHT D 400)
-   (QUAD D 1000)
-   (EXTRASPACE D 111)
-   )
-(LIGTABLE
-   )
-(CHARACTER O 0 (comment parenleftbig)
-   (CHARWD R 458)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 1 (comment parenrightbig)
-   (CHARWD R 458)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 2 (comment bracketleftbig)
-   (CHARWD R 416)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 3 (comment bracketrightbig)
-   (CHARWD R 416)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 4 (comment floorleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 5 (comment floorrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 6 (comment ceilingleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 7 (comment ceilingrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 10 (comment braceleftbig)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 11 (comment bracerightbig)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 12 (comment angbracketleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1160)
-   )
-(CHARACTER O 13 (comment angbracketrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1160)
-   )
-(CHARACTER O 14 (comment vextendsingle)
-   (CHARWD R 333)
-   (CHARHT R 21)
-   (CHARDP R 621)
-   )
-(CHARACTER O 15 (comment vextenddouble)
-   (CHARWD R 555)
-   (CHARHT R 21)
-   (CHARDP R 621)
-   )
-(CHARACTER O 16 (comment slashbig)
-   (CHARWD R 577)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 17 (comment backslashbig)
-   (CHARWD R 577)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 20 (comment parenleftBig)
-   (CHARWD R 597)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER O 21 (comment parenrightBig)
-   (CHARWD R 597)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER O 22 (comment parenleftbigg)
-   (CHARWD R 736)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 23 (comment parenrightbigg)
-   (CHARWD R 736)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 24 (comment bracketleftbigg)
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 25 (comment bracketrightbigg)
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 26 (comment floorleftbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 27 (comment floorrightbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 30 (comment ceilingleftbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 31 (comment ceilingrightbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 32 (comment braceleftbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 33 (comment bracerightbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 34 (comment angbracketleftbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 35 (comment angbracketrightbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 36 (comment slashbigg)
-   (CHARWD R 1044)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 37 (comment backslashbigg)
-   (CHARWD R 1044)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 40 (comment parenleftBigg)
-   (CHARWD R 791)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 41 (comment parenrightBigg)
-   (CHARWD R 791)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 42 (comment bracketleftBigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 43 (comment bracketrightBigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 44 (comment floorleftBigg)
-   (CHARWD R 638)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 45 (comment floorrightBigg)
-   (CHARWD R 638)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 46 (comment ceilingleftBigg)
-   (CHARWD R 638)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 47 (comment ceilingrightBigg)
-   (CHARWD R 638)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 50 (comment braceleftBigg)
-   (CHARWD R 805)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 51 (comment bracerightBigg)
-   (CHARWD R 805)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 52 (comment angbracketleftBigg)
-   (CHARWD R 805)
-   (CHARHT R 40)
-   (CHARDP R 2960)
-   )
-(CHARACTER O 53 (comment angbracketrightBigg)
-   (CHARWD R 805)
-   (CHARHT R 40)
-   (CHARDP R 2960)
-   )
-(CHARACTER O 54 (comment slashBigg)
-   (CHARWD R 1277)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 55 (comment backslashBigg)
-   (CHARWD R 1277)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 56 (comment slashBig)
-   (CHARWD R 811)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER O 57 (comment backslashBig)
-   (CHARWD R 811)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C 0
-   (CHARWD R 875)
-   (CHARHT R 39)
-   (CHARDP R 1770)
-   )
-(CHARACTER C 1
-   (CHARWD R 875)
-   (CHARHT R 39)
-   (CHARDP R 1770)
-   )
-(CHARACTER C 2
-   (CHARWD R 666)
-   (CHARHT R 39)
-   (CHARDP R 1760)
-   )
-(CHARACTER C 3
-   (CHARWD R 666)
-   (CHARHT R 39)
-   (CHARDP R 1760)
-   )
-(CHARACTER C 4
-   (CHARWD R 666)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C 5
-   (CHARWD R 666)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C 6
-   (CHARWD R 666)
-   (CHARHT R 1)
-   (CHARDP R 601)
-   )
-(CHARACTER C 7
-   (CHARWD R 666)
-   (CHARHT R 1)
-   (CHARDP R 601)
-   )
-(CHARACTER C 8
-   (CHARWD R 888)
-   (CHARDP R 910)
-   )
-(CHARACTER C 9
-   (CHARWD R 888)
-   (CHARDP R 910)
-   )
-(CHARACTER O 72 (comment braceleftbt)
-   (CHARWD R 888)
-   (CHARHT R 10)
-   (CHARDP R 899)
-   )
-(CHARACTER O 73 (comment bracerightbt)
-   (CHARWD R 888)
-   (CHARHT R 10)
-   (CHARDP R 899)
-   )
-(CHARACTER O 74 (comment braceleftmid)
-   (CHARWD R 888)
-   (CHARHT R 10)
-   (CHARDP R 1810)
-   )
-(CHARACTER O 75 (comment bracerightmid)
-   (CHARWD R 888)
-   (CHARHT R 10)
-   (CHARDP R 1810)
-   )
-(CHARACTER O 76 (comment braceex)
-   (CHARWD R 888)
-   (CHARHT R 10)
-   (CHARDP R 310)
-   )
-(CHARACTER O 77 (comment arrowvertex)
-   (CHARWD R 666)
-   (CHARHT R 1)
-   (CHARDP R 601)
-   )
-(CHARACTER O 100 (comment parenleftbt)
-   (CHARWD R 875)
-   (CHARHT R 50)
-   (CHARDP R 1759)
-   )
-(CHARACTER C A
-   (CHARWD R 875)
-   (CHARHT R 50)
-   (CHARDP R 1759)
-   )
-(CHARACTER C B
-   (CHARWD R 875)
-   (CHARHT R 10)
-   (CHARDP R 610)
-   )
-(CHARACTER C C
-   (CHARWD R 875)
-   (CHARHT R 10)
-   (CHARDP R 610)
-   )
-(CHARACTER C D
-   (CHARWD R 611)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C E
-   (CHARWD R 611)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C F
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C G
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER C H
-   (CHARWD R 472)
-   (CHARDP R 1111)
-   (CHARIC R 137)
-   )
-(CHARACTER C I
-   (CHARWD R 555)
-   (CHARDP R 2222)
-   (CHARIC R 388)
-   )
-(CHARACTER C J
-   (CHARWD R 1111)
-   (CHARDP R 1000)
-   )
-(CHARACTER C K
-   (CHARWD R 1511)
-   (CHARDP R 1400)
-   )
-(CHARACTER C L
-   (CHARWD R 1111)
-   (CHARDP R 1000)
-   )
-(CHARACTER C M
-   (CHARWD R 1511)
-   (CHARDP R 1400)
-   )
-(CHARACTER C N
-   (CHARWD R 1111)
-   (CHARDP R 1000)
-   )
-(CHARACTER C O
-   (CHARWD R 1511)
-   (CHARDP R 1400)
-   )
-(CHARACTER C P
-   (CHARWD R 1055)
-   (CHARDP R 1000)
-   )
-(CHARACTER C Q
-   (CHARWD R 944)
-   (CHARDP R 1000)
-   )
-(CHARACTER C R
-   (CHARWD R 472)
-   (CHARDP R 1111)
-   (CHARIC R 137)
-   )
-(CHARACTER C S
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C T
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C U
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C V
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C W
-   (CHARWD R 833)
-   (CHARDP R 1000)
-   )
-(CHARACTER C X
-   (CHARWD R 1444)
-   (CHARDP R 1400)
-   )
-(CHARACTER C Y
-   (CHARWD R 1277)
-   (CHARDP R 1400)
-   )
-(CHARACTER C Z
-   (CHARWD R 555)
-   (CHARDP R 2222)
-   (CHARIC R 388)
-   )
-(CHARACTER O 133 (comment uniondisplay)
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER O 134 (comment intersectiondisplay)
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER O 135 (comment unionmultidisplay)
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER O 136 (comment logicalanddisplay)
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER O 137 (comment logicalordisplay)
-   (CHARWD R 1111)
-   (CHARDP R 1400)
-   )
-(CHARACTER O 140 (comment coproducttext)
-   (CHARWD R 944)
-   (CHARDP R 1000)
-   )
-(CHARACTER C a
-   (CHARWD R 1277)
-   (CHARDP R 1400)
-   )
-(CHARACTER C b
-   (CHARWD R 555)
-   (CHARHT R 744)
-   (CHARIC R 6)
-   )
-(CHARACTER C c
-   (CHARWD R 1000)
-   (CHARHT R 772)
-   (CHARIC R 3)
-   )
-(CHARACTER C d
-   (CHARWD R 1444)
-   (CHARHT R 772)
-   (CHARIC R 2)
-   )
-(CHARACTER C e
-   (CHARWD R 555)
-   (CHARHT R 722)
-   )
-(CHARACTER C f
-   (CHARWD R 1000)
-   (CHARHT R 750)
-   )
-(CHARACTER C g
-   (CHARWD R 1444)
-   (CHARHT R 750)
-   )
-(CHARACTER C h
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C i
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C j
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C k
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C l
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C m
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C n
-   (CHARWD R 666)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C o
-   (CHARWD R 666)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER C p
-   (CHARWD R 1000)
-   (CHARHT R 40)
-   (CHARDP R 1160)
-   (CHARIC R 20)
-   )
-(CHARACTER C q
-   (CHARWD R 1000)
-   (CHARHT R 40)
-   (CHARDP R 1760)
-   (CHARIC R 20)
-   )
-(CHARACTER C r
-   (CHARWD R 1000)
-   (CHARHT R 40)
-   (CHARDP R 2360)
-   (CHARIC R 20)
-   )
-(CHARACTER C s
-   (CHARWD R 1000)
-   (CHARHT R 40)
-   (CHARDP R 2960)
-   (CHARIC R 20)
-   )
-(CHARACTER C t
-   (CHARWD R 1055)
-   (CHARHT R 20)
-   (CHARDP R 1800)
-   )
-(CHARACTER C u
-   (CHARWD R 1055)
-   (CHARHT R 20)
-   (CHARDP R 620)
-   )
-(CHARACTER C v
-   (CHARWD R 1055)
-   (CHARHT R 40)
-   (CHARDP R 580)
-   (CHARIC R 21)
-   )
-(CHARACTER C w
-   (CHARWD R 777)
-   (CHARHT R 1)
-   (CHARDP R 601)
-   )
-(CHARACTER C x
-   (CHARWD R 666)
-   (CHARDP R 600)
-   )
-(CHARACTER C y
-   (CHARWD R 666)
-   (CHARDP R 600)
-   )
-(CHARACTER C z
-   (CHARWD R 450)
-   (CHARHT R 120)
-   (CHARDP R 214)
-   (CHARIC R 10)
-   )
-(CHARACTER O 173 (comment bracehtipdownright)
-   (CHARWD R 450)
-   (CHARHT R 120)
-   (CHARDP R 214)
-   (CHARIC R 24)
-   )
-(CHARACTER O 174 (comment bracehtipupleft)
-   (CHARWD R 450)
-   (CHARHT R 334)
-   (CHARIC R 10)
-   )
-(CHARACTER O 175 (comment bracehtipupright)
-   (CHARWD R 450)
-   (CHARHT R 334)
-   (CHARIC R 24)
-   )
-(CHARACTER O 176 (comment arrowdbltp)
-   (CHARWD R 777)
-   (CHARDP R 600)
-   )
-(CHARACTER O 177 (comment arrowdblbt)
-   (CHARWD R 777)
-   (CHARDP R 599)
-   )
-(CHARACTER O 200 (comment parenleftBigg)
-   (CHARWD R 791)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 237 (comment radical)
-   (CHARWD R 833)
-   (CHARHT R 40)
-   (CHARDP R 960)
-   (CHARIC R 20)
-   )
-(CHARACTER O 240 (comment space)
-   (CHARWD R 333)
-   )
-(CHARACTER O 241 (comment parenleftbig)
-   (CHARWD R 458)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 242 (comment parenrightbig)
-   (CHARWD R 458)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 243 (comment bracketleftbig)
-   (CHARWD R 416)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 244 (comment bracketrightbig)
-   (CHARWD R 416)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 245 (comment floorleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 246 (comment floorrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 247 (comment ceilingleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 250 (comment ceilingrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 251 (comment braceleftbig)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 252 (comment bracerightbig)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 255 (comment angbracketleftbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1160)
-   )
-(CHARACTER O 256 (comment angbracketrightbig)
-   (CHARWD R 472)
-   (CHARHT R 40)
-   (CHARDP R 1160)
-   )
-(CHARACTER O 257 (comment vextendsingle)
-   (CHARWD R 333)
-   (CHARHT R 21)
-   (CHARDP R 621)
-   )
-(CHARACTER O 260 (comment vextenddouble)
-   (CHARWD R 555)
-   (CHARHT R 21)
-   (CHARDP R 621)
-   )
-(CHARACTER O 261 (comment slashbig)
-   (CHARWD R 577)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 262 (comment backslashbig)
-   (CHARWD R 577)
-   (CHARHT R 40)
-   (CHARDP R 1159)
-   )
-(CHARACTER O 263 (comment parenleftBig)
-   (CHARWD R 597)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER O 264 (comment parenrightBig)
-   (CHARWD R 597)
-   (CHARHT R 40)
-   (CHARDP R 1759)
-   )
-(CHARACTER O 265 (comment parenleftbigg)
-   (CHARWD R 736)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 266 (comment parenrightbigg)
-   (CHARWD R 736)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 267 (comment bracketleftbigg)
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 270 (comment bracketrightbigg)
-   (CHARWD R 527)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 271 (comment floorleftbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 272 (comment floorrightbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 273 (comment ceilingleftbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 274 (comment ceilingrightbigg)
-   (CHARWD R 583)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 275 (comment braceleftbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 276 (comment bracerightbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 277 (comment angbracketleftbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 300 (comment angbracketrightbigg)
-   (CHARWD R 750)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 301 (comment slashbigg)
-   (CHARWD R 1044)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 302 (comment backslashbigg)
-   (CHARWD R 1044)
-   (CHARHT R 40)
-   (CHARDP R 2359)
-   )
-(CHARACTER O 303 (comment parenleftBigg)
-   (CHARWD R 791)
-   (CHARHT R 40)
-   (CHARDP R 2959)
-   )
-(CHARACTER O 304 (comment arrowdblbt)
-   (CHARWD R 777)
-   (CHARDP R 599)
-   )
-(CHARACTER O 320 (comment Gamma)
-   (CHARWD R 625)
-   (CHARHT R 680)
-   )
-(CHARACTER O 321 (comment Delta)
-   (CHARWD R 833)
-   (CHARHT R 716)
-   )
-(CHARACTER O 322 (comment Theta)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 323 (comment Lambda)
-   (CHARWD R 694)
-   (CHARHT R 716)
-   )
-(CHARACTER O 324 (comment Xi)
-   (CHARWD R 666)
-   (CHARHT R 677)
-   )
-(CHARACTER O 325 (comment Pi)
-   (CHARWD R 750)
-   (CHARHT R 680)
-   )
-(CHARACTER O 326 (comment Sigma)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 327 (comment Upsilon)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   )
-(CHARACTER O 330 (comment Phi)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 331 (comment Psi)
-   (CHARWD R 777)
-   (CHARHT R 683)
-   )
-(CHARACTER O 332 (comment Omega)
-   (CHARWD R 722)
-   (CHARHT R 705)
-   )
diff --git a/metrics/cmmi10.pl b/metrics/cmmi10.pl
deleted file mode 100644
index 2aceb8c75..000000000
--- a/metrics/cmmi10.pl
+++ /dev/null
@@ -1,1286 +0,0 @@
-(FAMILY cmmi10)
-(CODINGSCHEME FONTSPECIFIC)
-(DESIGNSIZE R 10.0)
-(DESIGNUNITS R 1000)
-(COMMENT DESIGNSIZE (1 em) IS IN POINTS)
-(COMMENT OTHER DIMENSIONS ARE MULTIPLES OF DESIGNSIZE/1000)
-(BOUNDARYCHAR O 201)
-(FONTDIMEN
-   (SLANT R 0.250070)
-   (SPACE D 333)
-   (STRETCH D 166)
-   (SHRINK D 111)
-   (XHEIGHT D 442)
-   (QUAD D 1000)
-   (EXTRASPACE D 111)
-   )
-(LIGTABLE
-   (LABEL O 0) (comment Gamma)
-   (LABEL O 241) (comment Gamma)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 1) (comment Delta)
-   (LABEL O 242) (comment Delta)
-   (KRN O 177 R 166) (comment tie)
-   (KRN O 304 R 166) (comment tie)
-   (STOP)
-   (LABEL O 2) (comment Theta)
-   (LABEL O 243) (comment Theta)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 3) (comment Lambda)
-   (LABEL O 244) (comment Lambda)
-   (KRN O 177 R 166) (comment tie)
-   (KRN O 304 R 166) (comment tie)
-   (STOP)
-   (LABEL O 4) (comment Xi)
-   (LABEL O 245) (comment Xi)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 5) (comment Pi)
-   (LABEL O 246) (comment Pi)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 6) (comment Sigma)
-   (LABEL O 247) (comment Sigma)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 7) (comment Upsilon)
-   (LABEL O 250) (comment Upsilon)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 10) (comment Phi)
-   (LABEL O 251) (comment Phi)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 11) (comment Psi)
-   (LABEL O 252) (comment Psi)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 12) (comment Omega)
-   (LABEL O 255) (comment Omega)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 13) (comment alpha)
-   (LABEL O 256) (comment alpha)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 14) (comment beta)
-   (LABEL O 257) (comment beta)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 16) (comment delta)
-   (LABEL O 261) (comment delta)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 17) (comment epsilon1)
-   (LABEL O 262) (comment epsilon1)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 20) (comment zeta)
-   (LABEL O 263) (comment zeta)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 21) (comment eta)
-   (LABEL O 264) (comment eta)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 22) (comment theta)
-   (LABEL O 265) (comment theta)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 23) (comment iota)
-   (LABEL O 266) (comment iota)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 26) (comment mu)
-   (LABEL O 271) (comment mu)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 27) (comment nu)
-   (LABEL O 272) (comment nu)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 30) (comment xi)
-   (LABEL O 273) (comment xi)
-   (KRN O 177 R 111) (comment tie)
-   (KRN O 304 R 111) (comment tie)
-   (STOP)
-   (LABEL O 32) (comment rho)
-   (LABEL O 275) (comment rho)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 33) (comment sigma)
-   (LABEL O 276) (comment sigma)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (STOP)
-   (LABEL O 34) (comment tau)
-   (LABEL O 277) (comment tau)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 35) (comment upsilon)
-   (LABEL O 300) (comment upsilon)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 36) (comment phi)
-   (LABEL O 301) (comment phi)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 37) (comment chi)
-   (LABEL O 302) (comment chi)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 40) (comment psi)
-   (LABEL O 200) (comment psi)
-   (LABEL O 303) (comment psi)
-   (KRN O 177 R 111) (comment tie)
-   (KRN O 304 R 111) (comment tie)
-   (STOP)
-   (LABEL O 42) (comment epsilon)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 43) (comment theta1)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 45) (comment rho1)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 46) (comment sigma1)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 47) (comment phi1)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 75) (comment slash)
-   (KRN O 1 R -55) (comment Delta)
-   (KRN O 242 R -55) (comment Delta)
-   (KRN C A R -55)
-   (KRN C M R -55)
-   (KRN C N R -55)
-   (KRN C Y R 55)
-   (KRN C Z R -55)
-   (STOP)
-   (LABEL O 100) (comment partialdiff)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C A)
-   (KRN O 177 R 138) (comment tie)
-   (KRN O 304 R 138) (comment tie)
-   (STOP)
-   (LABEL C B)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C C)
-   (KRN O 75 R -27) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C D)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C E)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C F)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C G)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C H)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C I)
-   (KRN O 177 R 111) (comment tie)
-   (KRN O 304 R 111) (comment tie)
-   (STOP)
-   (LABEL C J)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 177 R 166) (comment tie)
-   (KRN O 304 R 166) (comment tie)
-   (STOP)
-   (LABEL C K)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C L)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C M)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C N)
-   (KRN O 75 R -27) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C O)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C P)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C Q)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C R)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C S)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C T)
-   (KRN O 75 R -27) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C U)
-   (KRN O 73 R -111) (comment comma)
-   (KRN O 72 R -111) (comment period)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C V)
-   (KRN O 73 R -166) (comment comma)
-   (KRN O 72 R -166) (comment period)
-   (KRN O 75 R -111) (comment slash)
-   (STOP)
-   (LABEL C W)
-   (KRN O 73 R -166) (comment comma)
-   (KRN O 72 R -166) (comment period)
-   (KRN O 75 R -111) (comment slash)
-   (STOP)
-   (LABEL C X)
-   (KRN O 75 R -27) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C Y)
-   (KRN O 73 R -166) (comment comma)
-   (KRN O 72 R -166) (comment period)
-   (KRN O 75 R -111) (comment slash)
-   (STOP)
-   (LABEL C Z)
-   (KRN O 75 R -55) (comment slash)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 140) (comment lscript)
-   (KRN O 177 R 111) (comment tie)
-   (KRN O 304 R 111) (comment tie)
-   (STOP)
-   (LABEL C c)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C d)
-   (KRN C Y R 55)
-   (KRN C Z R -55)
-   (KRN C j R -111)
-   (KRN C f R -166)
-   (KRN O 177 R 166) (comment tie)
-   (KRN O 304 R 166) (comment tie)
-   (STOP)
-   (LABEL C e)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C f)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 166) (comment tie)
-   (KRN O 304 R 166) (comment tie)
-   (STOP)
-   (LABEL C g)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C h)
-   (KRN O 177 R -27) (comment tie)
-   (KRN O 304 R -27) (comment tie)
-   (STOP)
-   (LABEL C j)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (STOP)
-   (LABEL C l)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C o)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C p)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C q)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C r)
-   (KRN O 73 R -55) (comment comma)
-   (KRN O 72 R -55) (comment period)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C s)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C t)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C u)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C v)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C w)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL C x)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL C y)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL C z)
-   (KRN O 177 R 55) (comment tie)
-   (KRN O 304 R 55) (comment tie)
-   (STOP)
-   (LABEL O 173) (comment dotlessi)
-   (KRN O 177 R 27) (comment tie)
-   (KRN O 304 R 27) (comment tie)
-   (STOP)
-   (LABEL O 174) (comment dotlessj)
-   (KRN O 177 R 83) (comment tie)
-   (KRN O 304 R 83) (comment tie)
-   (STOP)
-   (LABEL O 175) (comment weierstrass)
-   (KRN O 177 R 111) (comment tie)
-   (KRN O 304 R 111) (comment tie)
-   (STOP)
-   )
-(CHARACTER O 0 (comment Gamma)
-   (CHARWD R 615)
-   (CHARHT R 680)
-   (CHARIC R 106)
-   )
-(CHARACTER O 1 (comment Delta)
-   (CHARWD R 833)
-   (CHARHT R 716)
-   )
-(CHARACTER O 2 (comment Theta)
-   (CHARWD R 762)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 3 (comment Lambda)
-   (CHARWD R 694)
-   (CHARHT R 716)
-   )
-(CHARACTER O 4 (comment Xi)
-   (CHARWD R 742)
-   (CHARHT R 677)
-   (CHARIC R 35)
-   )
-(CHARACTER O 5 (comment Pi)
-   (CHARWD R 831)
-   (CHARHT R 680)
-   (CHARIC R 49)
-   )
-(CHARACTER O 6 (comment Sigma)
-   (CHARWD R 779)
-   (CHARHT R 683)
-   (CHARIC R 27)
-   )
-(CHARACTER O 7 (comment Upsilon)
-   (CHARWD R 583)
-   (CHARHT R 705)
-   (CHARIC R 118)
-   )
-(CHARACTER O 10 (comment Phi)
-   (CHARWD R 666)
-   (CHARHT R 683)
-   )
-(CHARACTER O 11 (comment Psi)
-   (CHARWD R 612)
-   (CHARHT R 683)
-   (CHARIC R 81)
-   )
-(CHARACTER O 12 (comment Omega)
-   (CHARWD R 772)
-   (CHARHT R 705)
-   (CHARIC R 14)
-   )
-(CHARACTER O 13 (comment alpha)
-   (CHARWD R 639)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 14 (comment beta)
-   (CHARWD R 565)
-   (CHARHT R 706)
-   (CHARDP R 194)
-   (CHARIC R 10)
-   )
-(CHARACTER O 15 (comment gamma)
-   (CHARWD R 517)
-   (CHARHT R 442)
-   (CHARDP R 215)
-   (CHARIC R 26)
-   )
-(CHARACTER O 16 (comment delta)
-   (CHARWD R 444)
-   (CHARHT R 711)
-   (CHARDP R 12)
-   (CHARIC R 8)
-   )
-(CHARACTER O 17 (comment epsilon1)
-   (CHARWD R 405)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 20 (comment zeta)
-   (CHARWD R 437)
-   (CHARHT R 697)
-   (CHARDP R 205)
-   (CHARIC R 37)
-   )
-(CHARACTER O 21 (comment eta)
-   (CHARWD R 496)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 22 (comment theta)
-   (CHARWD R 469)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 23 (comment iota)
-   (CHARWD R 353)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 24 (comment kappa)
-   (CHARWD R 576)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 25 (comment lambda)
-   (CHARWD R 583)
-   (CHARHT R 694)
-   (CHARDP R 13)
-   )
-(CHARACTER O 26 (comment mu)
-   (CHARWD R 602)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 27 (comment nu)
-   (CHARWD R 493)
-   (CHARHT R 442)
-   (CHARIC R 31)
-   )
-(CHARACTER O 30 (comment xi)
-   (CHARWD R 437)
-   (CHARHT R 697)
-   (CHARDP R 205)
-   (CHARIC R 9)
-   )
-(CHARACTER O 31 (comment pi)
-   (CHARWD R 570)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 32 (comment rho)
-   (CHARWD R 517)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 33 (comment sigma)
-   (CHARWD R 571)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 34 (comment tau)
-   (CHARWD R 437)
-   (CHARHT R 431)
-   (CHARDP R 12)
-   (CHARIC R 74)
-   )
-(CHARACTER O 35 (comment upsilon)
-   (CHARWD R 540)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 36 (comment phi)
-   (CHARWD R 595)
-   (CHARHT R 694)
-   (CHARDP R 205)
-   )
-(CHARACTER O 37 (comment chi)
-   (CHARWD R 625)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER O 40 (comment psi)
-   (CHARWD R 651)
-   (CHARHT R 694)
-   (CHARDP R 205)
-   )
-(CHARACTER O 41 (comment omega)
-   (CHARWD R 622)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 42 (comment epsilon)
-   (CHARWD R 466)
-   (CHARHT R 453)
-   (CHARDP R 22)
-   )
-(CHARACTER O 43 (comment theta1)
-   (CHARWD R 591)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 44 (comment pi1)
-   (CHARWD R 828)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 45 (comment rho1)
-   (CHARWD R 517)
-   (CHARHT R 442)
-   (CHARDP R 194)
-   )
-(CHARACTER O 46 (comment sigma1)
-   (CHARWD R 362)
-   (CHARHT R 442)
-   (CHARDP R 108)
-   (CHARIC R 47)
-   )
-(CHARACTER O 47 (comment phi1)
-   (CHARWD R 654)
-   (CHARHT R 442)
-   (CHARDP R 218)
-   )
-(CHARACTER O 50 (comment arrowlefttophalf)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   )
-(CHARACTER O 51 (comment arrowleftbothalf)
-   (CHARWD R 1000)
-   (CHARHT R 270)
-   (CHARDP R 11)
-   )
-(CHARACTER O 52 (comment arrowrighttophalf)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   )
-(CHARACTER O 53 (comment arrowrightbothalf)
-   (CHARWD R 1000)
-   (CHARHT R 270)
-   (CHARDP R 11)
-   )
-(CHARACTER O 54 (comment arrowhookleft)
-   (CHARWD R 277)
-   (CHARHT R 464)
-   )
-(CHARACTER O 55 (comment arrowhookright)
-   (CHARWD R 277)
-   (CHARHT R 464)
-   )
-(CHARACTER O 56 (comment triangleright)
-   (CHARWD R 500)
-   (CHARHT R 505)
-   (CHARDP R 5)
-   )
-(CHARACTER O 57 (comment triangleleft)
-   (CHARWD R 500)
-   (CHARHT R 505)
-   (CHARDP R 5)
-   )
-(CHARACTER C 0
-   (CHARWD R 500)
-   (CHARHT R 453)
-   (CHARDP R 22)
-   )
-(CHARACTER C 1
-   (CHARWD R 500)
-   (CHARHT R 453)
-   )
-(CHARACTER C 2
-   (CHARWD R 500)
-   (CHARHT R 453)
-   )
-(CHARACTER C 3
-   (CHARWD R 500)
-   (CHARHT R 453)
-   (CHARDP R 216)
-   )
-(CHARACTER C 4
-   (CHARWD R 500)
-   (CHARHT R 464)
-   (CHARDP R 194)
-   )
-(CHARACTER C 5
-   (CHARWD R 500)
-   (CHARHT R 453)
-   (CHARDP R 216)
-   )
-(CHARACTER C 6
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 7
-   (CHARWD R 500)
-   (CHARHT R 463)
-   (CHARDP R 216)
-   )
-(CHARACTER C 8
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 9
-   (CHARWD R 500)
-   (CHARHT R 453)
-   (CHARDP R 216)
-   )
-(CHARACTER O 72 (comment period)
-   (CHARWD R 277)
-   (CHARHT R 106)
-   )
-(CHARACTER O 73 (comment comma)
-   (CHARWD R 277)
-   (CHARHT R 106)
-   (CHARDP R 193)
-   )
-(CHARACTER O 74 (comment less)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 75 (comment slash)
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER O 76 (comment greater)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 77 (comment star)
-   (CHARWD R 500)
-   (CHARHT R 485)
-   )
-(CHARACTER O 100 (comment partialdiff)
-   (CHARWD R 530)
-   (CHARHT R 716)
-   (CHARDP R 22)
-   (CHARIC R 36)
-   )
-(CHARACTER C A
-   (CHARWD R 750)
-   (CHARHT R 716)
-   )
-(CHARACTER C B
-   (CHARWD R 758)
-   (CHARHT R 683)
-   )
-(CHARACTER C C
-   (CHARWD R 714)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   (CHARIC R 46)
-   )
-(CHARACTER C D
-   (CHARWD R 827)
-   (CHARHT R 683)
-   )
-(CHARACTER C E
-   (CHARWD R 738)
-   (CHARHT R 680)
-   (CHARIC R 26)
-   )
-(CHARACTER C F
-   (CHARWD R 643)
-   (CHARHT R 680)
-   (CHARIC R 106)
-   )
-(CHARACTER C G
-   (CHARWD R 786)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C H
-   (CHARWD R 831)
-   (CHARHT R 683)
-   (CHARIC R 50)
-   )
-(CHARACTER C I
-   (CHARWD R 439)
-   (CHARHT R 683)
-   (CHARIC R 58)
-   )
-(CHARACTER C J
-   (CHARWD R 554)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   (CHARIC R 79)
-   )
-(CHARACTER C K
-   (CHARWD R 849)
-   (CHARHT R 683)
-   (CHARIC R 40)
-   )
-(CHARACTER C L
-   (CHARWD R 680)
-   (CHARHT R 683)
-   )
-(CHARACTER C M
-   (CHARWD R 970)
-   (CHARHT R 683)
-   (CHARIC R 74)
-   )
-(CHARACTER C N
-   (CHARWD R 803)
-   (CHARHT R 683)
-   (CHARIC R 78)
-   )
-(CHARACTER C O
-   (CHARWD R 762)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C P
-   (CHARWD R 642)
-   (CHARHT R 683)
-   (CHARIC R 112)
-   )
-(CHARACTER C Q
-   (CHARWD R 790)
-   (CHARHT R 705)
-   (CHARDP R 194)
-   )
-(CHARACTER C R
-   (CHARWD R 759)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C S
-   (CHARWD R 613)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   (CHARIC R 32)
-   )
-(CHARACTER C T
-   (CHARWD R 584)
-   (CHARHT R 677)
-   (CHARIC R 120)
-   )
-(CHARACTER C U
-   (CHARWD R 682)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   (CHARIC R 78)
-   )
-(CHARACTER C V
-   (CHARWD R 583)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   (CHARIC R 186)
-   )
-(CHARACTER C W
-   (CHARWD R 944)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   (CHARIC R 104)
-   )
-(CHARACTER C X
-   (CHARWD R 828)
-   (CHARHT R 683)
-   (CHARIC R 23)
-   )
-(CHARACTER C Y
-   (CHARWD R 580)
-   (CHARHT R 683)
-   (CHARIC R 182)
-   )
-(CHARACTER C Z
-   (CHARWD R 682)
-   (CHARHT R 683)
-   (CHARIC R 41)
-   )
-(CHARACTER O 133 (comment flat)
-   (CHARWD R 388)
-   (CHARHT R 750)
-   (CHARDP R 22)
-   )
-(CHARACTER O 134 (comment natural)
-   (CHARWD R 388)
-   (CHARHT R 728)
-   (CHARDP R 217)
-   )
-(CHARACTER O 135 (comment sharp)
-   (CHARWD R 388)
-   (CHARHT R 716)
-   (CHARDP R 216)
-   )
-(CHARACTER O 136 (comment slurbelow)
-   (CHARWD R 1000)
-   (CHARHT R 371)
-   )
-(CHARACTER O 137 (comment slurabove)
-   (CHARWD R 1000)
-   (CHARHT R 381)
-   )
-(CHARACTER O 140 (comment lscript)
-   (CHARWD R 416)
-   (CHARHT R 705)
-   (CHARDP R 12)
-   )
-(CHARACTER C a
-   (CHARWD R 528)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C b
-   (CHARWD R 429)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C c
-   (CHARWD R 432)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C d
-   (CHARWD R 520)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C e
-   (CHARWD R 465)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C f
-   (CHARWD R 489)
-   (CHARHT R 705)
-   (CHARDP R 205)
-   (CHARIC R 63)
-   )
-(CHARACTER C g
-   (CHARWD R 476)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER C h
-   (CHARWD R 576)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C i
-   (CHARWD R 344)
-   (CHARHT R 661)
-   (CHARDP R 11)
-   )
-(CHARACTER C j
-   (CHARWD R 411)
-   (CHARHT R 661)
-   (CHARDP R 205)
-   )
-(CHARACTER C k
-   (CHARWD R 520)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C l
-   (CHARWD R 298)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C m
-   (CHARWD R 878)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C n
-   (CHARWD R 600)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C o
-   (CHARWD R 484)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C p
-   (CHARWD R 503)
-   (CHARHT R 442)
-   (CHARDP R 194)
-   )
-(CHARACTER C q
-   (CHARWD R 446)
-   (CHARHT R 442)
-   (CHARDP R 194)
-   (CHARIC R 6)
-   )
-(CHARACTER C r
-   (CHARWD R 451)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C s
-   (CHARWD R 468)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C t
-   (CHARWD R 361)
-   (CHARHT R 626)
-   (CHARDP R 11)
-   )
-(CHARACTER C u
-   (CHARWD R 572)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C v
-   (CHARWD R 484)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C w
-   (CHARWD R 715)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C x
-   (CHARWD R 571)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C y
-   (CHARWD R 490)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER C z
-   (CHARWD R 465)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   (CHARIC R 2)
-   )
-(CHARACTER O 173 (comment dotlessi)
-   (CHARWD R 322)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 174 (comment dotlessj)
-   (CHARWD R 384)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER O 175 (comment weierstrass)
-   (CHARWD R 636)
-   (CHARHT R 453)
-   (CHARDP R 216)
-   )
-(CHARACTER O 176 (comment vector)
-   (CHARWD R 500)
-   (CHARHT R 714)
-   (CHARIC R 125)
-   )
-(CHARACTER O 177 (comment tie)
-   (CHARWD R 277)
-   (CHARHT R 665)
-   (CHARIC R 373)
-   )
-(CHARACTER O 200 (comment psi)
-   (CHARWD R 651)
-   (CHARHT R 694)
-   (CHARDP R 205)
-   )
-(CHARACTER O 240 (comment space)
-   (CHARWD R 333)
-   )
-(CHARACTER O 241 (comment Gamma)
-   (CHARWD R 615)
-   (CHARHT R 680)
-   (CHARIC R 106)
-   )
-(CHARACTER O 242 (comment Delta)
-   (CHARWD R 833)
-   (CHARHT R 716)
-   )
-(CHARACTER O 243 (comment Theta)
-   (CHARWD R 762)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 244 (comment Lambda)
-   (CHARWD R 694)
-   (CHARHT R 716)
-   )
-(CHARACTER O 245 (comment Xi)
-   (CHARWD R 742)
-   (CHARHT R 677)
-   (CHARIC R 35)
-   )
-(CHARACTER O 246 (comment Pi)
-   (CHARWD R 831)
-   (CHARHT R 680)
-   (CHARIC R 49)
-   )
-(CHARACTER O 247 (comment Sigma)
-   (CHARWD R 779)
-   (CHARHT R 683)
-   (CHARIC R 27)
-   )
-(CHARACTER O 250 (comment Upsilon)
-   (CHARWD R 583)
-   (CHARHT R 705)
-   (CHARIC R 118)
-   )
-(CHARACTER O 251 (comment Phi)
-   (CHARWD R 666)
-   (CHARHT R 683)
-   )
-(CHARACTER O 252 (comment Psi)
-   (CHARWD R 612)
-   (CHARHT R 683)
-   (CHARIC R 81)
-   )
-(CHARACTER O 255 (comment Omega)
-   (CHARWD R 772)
-   (CHARHT R 705)
-   (CHARIC R 14)
-   )
-(CHARACTER O 256 (comment alpha)
-   (CHARWD R 639)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 257 (comment beta)
-   (CHARWD R 565)
-   (CHARHT R 706)
-   (CHARDP R 194)
-   (CHARIC R 10)
-   )
-(CHARACTER O 260 (comment gamma)
-   (CHARWD R 517)
-   (CHARHT R 442)
-   (CHARDP R 215)
-   (CHARIC R 26)
-   )
-(CHARACTER O 261 (comment delta)
-   (CHARWD R 444)
-   (CHARHT R 711)
-   (CHARDP R 12)
-   (CHARIC R 8)
-   )
-(CHARACTER O 262 (comment epsilon1)
-   (CHARWD R 405)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 263 (comment zeta)
-   (CHARWD R 437)
-   (CHARHT R 697)
-   (CHARDP R 205)
-   (CHARIC R 37)
-   )
-(CHARACTER O 264 (comment eta)
-   (CHARWD R 496)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 265 (comment theta)
-   (CHARWD R 469)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 266 (comment iota)
-   (CHARWD R 353)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 267 (comment kappa)
-   (CHARWD R 576)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 270 (comment lambda)
-   (CHARWD R 583)
-   (CHARHT R 694)
-   (CHARDP R 13)
-   )
-(CHARACTER O 271 (comment mu)
-   (CHARWD R 602)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 272 (comment nu)
-   (CHARWD R 493)
-   (CHARHT R 442)
-   (CHARIC R 31)
-   )
-(CHARACTER O 273 (comment xi)
-   (CHARWD R 437)
-   (CHARHT R 697)
-   (CHARDP R 205)
-   (CHARIC R 9)
-   )
-(CHARACTER O 274 (comment pi)
-   (CHARWD R 570)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 275 (comment rho)
-   (CHARWD R 517)
-   (CHARHT R 442)
-   (CHARDP R 216)
-   )
-(CHARACTER O 276 (comment sigma)
-   (CHARWD R 571)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER O 277 (comment tau)
-   (CHARWD R 437)
-   (CHARHT R 431)
-   (CHARDP R 12)
-   (CHARIC R 74)
-   )
-(CHARACTER O 300 (comment upsilon)
-   (CHARWD R 540)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER O 301 (comment phi)
-   (CHARWD R 595)
-   (CHARHT R 694)
-   (CHARDP R 205)
-   )
-(CHARACTER O 302 (comment chi)
-   (CHARWD R 625)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER O 303 (comment psi)
-   (CHARWD R 651)
-   (CHARHT R 694)
-   (CHARDP R 205)
-   )
-(CHARACTER O 304 (comment tie)
-   (CHARWD R 277)
-   (CHARHT R 665)
-   (CHARIC R 373)
-   )
diff --git a/metrics/cmr10.pl b/metrics/cmr10.pl
deleted file mode 100644
index 7d7712c31..000000000
--- a/metrics/cmr10.pl
+++ /dev/null
@@ -1,1082 +0,0 @@
-(FAMILY cmr10)
-(CODINGSCHEME FONTSPECIFIC)
-(DESIGNSIZE R 10.0)
-(DESIGNUNITS R 1000)
-(COMMENT DESIGNSIZE (1 em) IS IN POINTS)
-(COMMENT OTHER DIMENSIONS ARE MULTIPLES OF DESIGNSIZE/1000)
-(BOUNDARYCHAR O 201)
-(FONTDIMEN
-   (SLANT R 0.000000)
-   (SPACE D 333)
-   (STRETCH D 166)
-   (SHRINK D 111)
-   (XHEIGHT D 431)
-   (QUAD D 1000)
-   (EXTRASPACE D 111)
-   )
-(LIGTABLE
-   (LABEL O 13) (comment ff)
-   (LABEL O 256) (comment ff)
-   (LIG C l O 17)
-   (LIG C i O 16)
-   (KRN O 47 R 77) (comment quoteright)
-   (KRN O 77 R 77) (comment question)
-   (KRN O 41 R 77) (comment exclam)
-   (KRN O 51 R 77) (comment parenright)
-   (KRN O 135 R 77) (comment bracketright)
-   (STOP)
-   (LABEL O 34) (comment oslash)
-   (LABEL O 277) (comment oslash)
-   (KRN O 34 R 27) (comment oslash)
-   (KRN O 277 R 27) (comment oslash)
-   (KRN C w R -27)
-   (KRN C y R -27)
-   (KRN C j R 55)
-   (KRN C v R -27)
-   (KRN C q R 27)
-   (KRN C c R 27)
-   (KRN C d R 27)
-   (KRN C x R -27)
-   (KRN C o R 27)
-   (KRN C e R 27)
-   (STOP)
-   (LABEL O 37) (comment Oslash)
-   (LABEL O 302) (comment Oslash)
-   (KRN C Y R -27)
-   (KRN C V R -27)
-   (KRN C A R -27)
-   (KRN C W R -27)
-   (KRN C X R -27)
-   (STOP)
-   (LABEL O 40) (comment suppress)
-   (LABEL O 200) (comment suppress)
-   (LABEL O 303) (comment suppress)
-   (KRN C l R -277)
-   (KRN C L R -319)
-   (STOP)
-   (LABEL O 41) (comment exclam)
-   (LIG O 140 O 74)
-   (STOP)
-   (LABEL O 47) (comment quoteright)
-   (LIG O 47 O 42)
-   (KRN O 77 R 111) (comment question)
-   (KRN O 41 R 111) (comment exclam)
-   (STOP)
-   (LABEL O 55) (comment hyphen)
-   (LIG O 55 O 173)
-   (STOP)
-   (LABEL O 77) (comment question)
-   (LIG O 140 O 76)
-   (STOP)
-   (LABEL C A)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C t R -27)
-   (KRN C C R -27)
-   (KRN C O R -27)
-   (KRN C G R -27)
-   (KRN C U R -27)
-   (KRN C Q R -27)
-   (KRN C T R -83)
-   (KRN C Y R -83)
-   (KRN C V R -111)
-   (KRN C W R -111)
-   (STOP)
-   (LABEL C D)
-   (KRN C X R -27)
-   (KRN C W R -27)
-   (KRN C A R -27)
-   (KRN C V R -27)
-   (KRN C Y R -27)
-   (STOP)
-   (LABEL C F)
-   (KRN O 34 R -83) (comment oslash)
-   (KRN O 277 R -83) (comment oslash)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C o R -83)
-   (KRN C e R -83)
-   (KRN C u R -83)
-   (KRN C r R -83)
-   (KRN C a R -83)
-   (KRN C A R -111)
-   (KRN C O R -27)
-   (KRN C C R -27)
-   (KRN C G R -27)
-   (KRN C Q R -27)
-   (STOP)
-   (LABEL C I)
-   (KRN C I R 27)
-   (STOP)
-   (LABEL C K)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C O R -27)
-   (KRN C C R -27)
-   (KRN C G R -27)
-   (KRN C Q R -27)
-   (STOP)
-   (LABEL C L)
-   (KRN C T R -83)
-   (KRN C Y R -83)
-   (KRN C V R -111)
-   (KRN C W R -111)
-   (STOP)
-   (LABEL C O)
-   (KRN C X R -27)
-   (KRN C W R -27)
-   (KRN C A R -27)
-   (KRN C V R -27)
-   (KRN C Y R -27)
-   (STOP)
-   (LABEL C P)
-   (KRN O 34 R -27) (comment oslash)
-   (KRN O 277 R -27) (comment oslash)
-   (KRN C A R -83)
-   (KRN C o R -27)
-   (KRN C e R -27)
-   (KRN C a R -27)
-   (KRN O 56 R -83) (comment period)
-   (KRN O 54 R -83) (comment comma)
-   (STOP)
-   (LABEL C R)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C t R -27)
-   (KRN C C R -27)
-   (KRN C O R -27)
-   (KRN C G R -27)
-   (KRN C U R -27)
-   (KRN C Q R -27)
-   (KRN C T R -83)
-   (KRN C Y R -83)
-   (KRN C V R -111)
-   (KRN C W R -111)
-   (STOP)
-   (LABEL C T)
-   (KRN O 34 R -83) (comment oslash)
-   (KRN O 277 R -83) (comment oslash)
-   (KRN C y R -27)
-   (KRN C e R -83)
-   (KRN C o R -83)
-   (KRN C r R -83)
-   (KRN C a R -83)
-   (KRN C A R -83)
-   (KRN C u R -83)
-   (STOP)
-   (LABEL C V)
-   (KRN O 34 R -83) (comment oslash)
-   (KRN O 277 R -83) (comment oslash)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C o R -83)
-   (KRN C e R -83)
-   (KRN C u R -83)
-   (KRN C r R -83)
-   (KRN C a R -83)
-   (KRN C A R -111)
-   (KRN C O R -27)
-   (KRN C C R -27)
-   (KRN C G R -27)
-   (KRN C Q R -27)
-   (STOP)
-   (LABEL C W)
-   (KRN O 34 R -83) (comment oslash)
-   (KRN O 277 R -83) (comment oslash)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C o R -83)
-   (KRN C e R -83)
-   (KRN C u R -83)
-   (KRN C r R -83)
-   (KRN C a R -83)
-   (KRN C A R -111)
-   (KRN C O R -27)
-   (KRN C C R -27)
-   (KRN C G R -27)
-   (KRN C Q R -27)
-   (STOP)
-   (LABEL C X)
-   (KRN O 37 R -27) (comment Oslash)
-   (KRN O 302 R -27) (comment Oslash)
-   (KRN C O R -27)
-   (KRN C C R -27)
-   (KRN C G R -27)
-   (KRN C Q R -27)
-   (STOP)
-   (LABEL C Y)
-   (KRN O 34 R -83) (comment oslash)
-   (KRN O 277 R -83) (comment oslash)
-   (KRN C e R -83)
-   (KRN C o R -83)
-   (KRN C r R -83)
-   (KRN C a R -83)
-   (KRN C A R -83)
-   (KRN C u R -83)
-   (STOP)
-   (LABEL O 140) (comment quoteleft)
-   (LIG O 140 O 134)
-   (STOP)
-   (LABEL C a)
-   (KRN C v R -27)
-   (KRN C j R 55)
-   (KRN C y R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C b)
-   (KRN O 34 R 27) (comment oslash)
-   (KRN O 277 R 27) (comment oslash)
-   (KRN C e R 27)
-   (KRN C o R 27)
-   (KRN C x R -27)
-   (KRN C d R 27)
-   (KRN C c R 27)
-   (KRN C q R 27)
-   (KRN C v R -27)
-   (KRN C j R 55)
-   (KRN C y R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C c)
-   (KRN C h R -27)
-   (KRN C k R -27)
-   (STOP)
-   (LABEL C f)
-   (LIG C f O 13)
-   (LIG C l O 15)
-   (LIG C i O 14)
-   (KRN O 47 R 77) (comment quoteright)
-   (KRN O 77 R 77) (comment question)
-   (KRN O 41 R 77) (comment exclam)
-   (KRN O 51 R 77) (comment parenright)
-   (KRN O 135 R 77) (comment bracketright)
-   (STOP)
-   (LABEL C g)
-   (KRN C j R 27)
-   (STOP)
-   (LABEL C h)
-   (KRN C t R -27)
-   (KRN C u R -27)
-   (KRN C b R -27)
-   (KRN C y R -27)
-   (KRN C v R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C k)
-   (KRN O 34 R -27) (comment oslash)
-   (KRN O 277 R -27) (comment oslash)
-   (KRN C a R -27)
-   (KRN C e R -27)
-   (KRN C o R -27)
-   (KRN C c R -27)
-   (STOP)
-   (LABEL C m)
-   (KRN C t R -27)
-   (KRN C u R -27)
-   (KRN C b R -27)
-   (KRN C y R -27)
-   (KRN C v R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C n)
-   (KRN C t R -27)
-   (KRN C u R -27)
-   (KRN C b R -27)
-   (KRN C y R -27)
-   (KRN C v R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C o)
-   (KRN O 34 R 27) (comment oslash)
-   (KRN O 277 R 27) (comment oslash)
-   (KRN C e R 27)
-   (KRN C o R 27)
-   (KRN C x R -27)
-   (KRN C d R 27)
-   (KRN C c R 27)
-   (KRN C q R 27)
-   (KRN C v R -27)
-   (KRN C j R 55)
-   (KRN C y R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C p)
-   (KRN O 34 R 27) (comment oslash)
-   (KRN O 277 R 27) (comment oslash)
-   (KRN C e R 27)
-   (KRN C o R 27)
-   (KRN C x R -27)
-   (KRN C d R 27)
-   (KRN C c R 27)
-   (KRN C q R 27)
-   (KRN C v R -27)
-   (KRN C j R 55)
-   (KRN C y R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C t)
-   (KRN C y R -27)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C u)
-   (KRN C w R -27)
-   (STOP)
-   (LABEL C v)
-   (KRN O 34 R -27) (comment oslash)
-   (KRN O 277 R -27) (comment oslash)
-   (KRN C a R -27)
-   (KRN C e R -27)
-   (KRN C o R -27)
-   (KRN C c R -27)
-   (STOP)
-   (LABEL C w)
-   (KRN O 34 R -27) (comment oslash)
-   (KRN O 277 R -27) (comment oslash)
-   (KRN C e R -27)
-   (KRN C a R -27)
-   (KRN C o R -27)
-   (KRN C c R -27)
-   (STOP)
-   (LABEL C y)
-   (KRN O 34 R -27) (comment oslash)
-   (KRN O 277 R -27) (comment oslash)
-   (KRN C o R -27)
-   (KRN C e R -27)
-   (KRN C a R -27)
-   (KRN O 56 R -83) (comment period)
-   (KRN O 54 R -83) (comment comma)
-   (STOP)
-   (LABEL O 173) (comment endash)
-   (LIG O 55 O 174)
-   (STOP)
-   )
-(CHARACTER O 0 (comment Gamma)
-   (CHARWD R 625)
-   (CHARHT R 680)
-   )
-(CHARACTER O 1 (comment Delta)
-   (CHARWD R 833)
-   (CHARHT R 716)
-   )
-(CHARACTER O 2 (comment Theta)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 3 (comment Lambda)
-   (CHARWD R 694)
-   (CHARHT R 716)
-   )
-(CHARACTER O 4 (comment Xi)
-   (CHARWD R 666)
-   (CHARHT R 677)
-   )
-(CHARACTER O 5 (comment Pi)
-   (CHARWD R 750)
-   (CHARHT R 680)
-   )
-(CHARACTER O 6 (comment Sigma)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 7 (comment Upsilon)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   )
-(CHARACTER O 10 (comment Phi)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 11 (comment Psi)
-   (CHARWD R 777)
-   (CHARHT R 683)
-   )
-(CHARACTER O 12 (comment Omega)
-   (CHARWD R 722)
-   (CHARHT R 705)
-   )
-(CHARACTER O 13 (comment ff)
-   (CHARWD R 583)
-   (CHARHT R 705)
-   (CHARIC R 45)
-   )
-(CHARACTER O 14 (comment fi)
-   (CHARWD R 555)
-   (CHARHT R 705)
-   )
-(CHARACTER O 15 (comment fl)
-   (CHARWD R 555)
-   (CHARHT R 705)
-   )
-(CHARACTER O 16 (comment ffi)
-   (CHARWD R 833)
-   (CHARHT R 705)
-   )
-(CHARACTER O 17 (comment ffl)
-   (CHARWD R 833)
-   (CHARHT R 705)
-   )
-(CHARACTER O 20 (comment dotlessi)
-   (CHARWD R 277)
-   (CHARHT R 442)
-   )
-(CHARACTER O 21 (comment dotlessj)
-   (CHARWD R 305)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER O 22 (comment grave)
-   (CHARWD R 500)
-   (CHARHT R 698)
-   )
-(CHARACTER O 23 (comment acute)
-   (CHARWD R 500)
-   (CHARHT R 698)
-   )
-(CHARACTER O 24 (comment caron)
-   (CHARWD R 500)
-   (CHARHT R 638)
-   )
-(CHARACTER O 25 (comment breve)
-   (CHARWD R 500)
-   (CHARHT R 694)
-   )
-(CHARACTER O 26 (comment macron)
-   (CHARWD R 500)
-   (CHARHT R 590)
-   )
-(CHARACTER O 27 (comment ring)
-   (CHARWD R 750)
-   (CHARHT R 716)
-   )
-(CHARACTER O 30 (comment cedilla)
-   (CHARWD R 444)
-   (CHARDP R 203)
-   )
-(CHARACTER O 31 (comment germandbls)
-   (CHARWD R 500)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 32 (comment ae)
-   (CHARWD R 722)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER O 33 (comment oe)
-   (CHARWD R 777)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER O 34 (comment oslash)
-   (CHARWD R 500)
-   (CHARHT R 534)
-   (CHARDP R 102)
-   )
-(CHARACTER O 35 (comment AE)
-   (CHARWD R 902)
-   (CHARHT R 683)
-   )
-(CHARACTER O 36 (comment OE)
-   (CHARWD R 1013)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 37 (comment Oslash)
-   (CHARWD R 777)
-   (CHARHT R 739)
-   (CHARDP R 56)
-   )
-(CHARACTER O 40 (comment suppress)
-   (CHARWD R 277)
-   (CHARHT R 392)
-   )
-(CHARACTER O 41 (comment exclam)
-   (CHARWD R 277)
-   (CHARHT R 716)
-   )
-(CHARACTER O 42 (comment quotedblright)
-   (CHARWD R 500)
-   (CHARHT R 694)
-   )
-(CHARACTER O 43 (comment numbersign)
-   (CHARWD R 833)
-   (CHARHT R 694)
-   (CHARDP R 194)
-   )
-(CHARACTER O 44 (comment dollar)
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 56)
-   )
-(CHARACTER O 45 (comment percent)
-   (CHARWD R 833)
-   (CHARHT R 750)
-   (CHARDP R 56)
-   )
-(CHARACTER O 46 (comment ampersand)
-   (CHARWD R 777)
-   (CHARHT R 716)
-   (CHARDP R 22)
-   )
-(CHARACTER O 47 (comment quoteright)
-   (CHARWD R 277)
-   (CHARHT R 694)
-   )
-(CHARACTER O 50 (comment parenleft)
-   (CHARWD R 388)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER O 51 (comment parenright)
-   (CHARWD R 388)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER O 52 (comment asterisk)
-   (CHARWD R 500)
-   (CHARHT R 750)
-   )
-(CHARACTER O 53 (comment plus)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 54 (comment comma)
-   (CHARWD R 277)
-   (CHARHT R 106)
-   (CHARDP R 193)
-   )
-(CHARACTER O 55 (comment hyphen)
-   (CHARWD R 333)
-   (CHARHT R 245)
-   )
-(CHARACTER O 56 (comment period)
-   (CHARWD R 277)
-   (CHARHT R 106)
-   )
-(CHARACTER O 57 (comment slash)
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C 0
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 1
-   (CHARWD R 500)
-   (CHARHT R 666)
-   )
-(CHARACTER C 2
-   (CHARWD R 500)
-   (CHARHT R 666)
-   )
-(CHARACTER C 3
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 4
-   (CHARWD R 500)
-   (CHARHT R 677)
-   )
-(CHARACTER C 5
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 6
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 7
-   (CHARWD R 500)
-   (CHARHT R 676)
-   (CHARDP R 22)
-   )
-(CHARACTER C 8
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER C 9
-   (CHARWD R 500)
-   (CHARHT R 666)
-   (CHARDP R 22)
-   )
-(CHARACTER O 72 (comment colon)
-   (CHARWD R 277)
-   (CHARHT R 431)
-   )
-(CHARACTER O 73 (comment semicolon)
-   (CHARWD R 277)
-   (CHARHT R 431)
-   (CHARDP R 193)
-   )
-(CHARACTER O 74 (comment exclamdown)
-   (CHARWD R 277)
-   (CHARHT R 500)
-   (CHARDP R 216)
-   )
-(CHARACTER O 75 (comment equal)
-   (CHARWD R 777)
-   (CHARHT R 367)
-   )
-(CHARACTER O 76 (comment questiondown)
-   (CHARWD R 472)
-   (CHARHT R 500)
-   (CHARDP R 205)
-   )
-(CHARACTER O 77 (comment question)
-   (CHARWD R 472)
-   (CHARHT R 705)
-   )
-(CHARACTER O 100 (comment at)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER C A
-   (CHARWD R 750)
-   (CHARHT R 716)
-   )
-(CHARACTER C B
-   (CHARWD R 708)
-   (CHARHT R 683)
-   )
-(CHARACTER C C
-   (CHARWD R 722)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C D
-   (CHARWD R 763)
-   (CHARHT R 683)
-   )
-(CHARACTER C E
-   (CHARWD R 680)
-   (CHARHT R 680)
-   )
-(CHARACTER C F
-   (CHARWD R 652)
-   (CHARHT R 680)
-   )
-(CHARACTER C G
-   (CHARWD R 784)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C H
-   (CHARWD R 750)
-   (CHARHT R 683)
-   )
-(CHARACTER C I
-   (CHARWD R 361)
-   (CHARHT R 683)
-   )
-(CHARACTER C J
-   (CHARWD R 513)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C K
-   (CHARWD R 777)
-   (CHARHT R 683)
-   )
-(CHARACTER C L
-   (CHARWD R 625)
-   (CHARHT R 683)
-   )
-(CHARACTER C M
-   (CHARWD R 916)
-   (CHARHT R 683)
-   )
-(CHARACTER C N
-   (CHARWD R 750)
-   (CHARHT R 683)
-   )
-(CHARACTER C O
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C P
-   (CHARWD R 680)
-   (CHARHT R 683)
-   )
-(CHARACTER C Q
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 194)
-   )
-(CHARACTER C R
-   (CHARWD R 736)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C S
-   (CHARWD R 555)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C T
-   (CHARWD R 722)
-   (CHARHT R 677)
-   )
-(CHARACTER C U
-   (CHARWD R 750)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C V
-   (CHARWD R 750)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C W
-   (CHARWD R 1027)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C X
-   (CHARWD R 750)
-   (CHARHT R 683)
-   )
-(CHARACTER C Y
-   (CHARWD R 750)
-   (CHARHT R 683)
-   )
-(CHARACTER C Z
-   (CHARWD R 611)
-   (CHARHT R 683)
-   )
-(CHARACTER O 133 (comment bracketleft)
-   (CHARWD R 277)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER O 134 (comment quotedblleft)
-   (CHARWD R 500)
-   (CHARHT R 693)
-   )
-(CHARACTER O 135 (comment bracketright)
-   (CHARWD R 277)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER O 136 (comment circumflex)
-   (CHARWD R 500)
-   (CHARHT R 694)
-   )
-(CHARACTER O 137 (comment dotaccent)
-   (CHARWD R 277)
-   (CHARHT R 669)
-   )
-(CHARACTER O 140 (comment quoteleft)
-   (CHARWD R 277)
-   (CHARHT R 693)
-   )
-(CHARACTER C a
-   (CHARWD R 500)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER C b
-   (CHARWD R 555)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C c
-   (CHARWD R 444)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER C d
-   (CHARWD R 555)
-   (CHARHT R 694)
-   (CHARDP R 11)
-   )
-(CHARACTER C e
-   (CHARWD R 444)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER C f
-   (CHARWD R 305)
-   (CHARHT R 705)
-   (CHARIC R 52)
-   )
-(CHARACTER C g
-   (CHARWD R 500)
-   (CHARHT R 453)
-   (CHARDP R 206)
-   )
-(CHARACTER C h
-   (CHARWD R 555)
-   (CHARHT R 694)
-   )
-(CHARACTER C i
-   (CHARWD R 277)
-   (CHARHT R 669)
-   )
-(CHARACTER C j
-   (CHARWD R 305)
-   (CHARHT R 669)
-   (CHARDP R 205)
-   )
-(CHARACTER C k
-   (CHARWD R 527)
-   (CHARHT R 694)
-   )
-(CHARACTER C l
-   (CHARWD R 277)
-   (CHARHT R 694)
-   )
-(CHARACTER C m
-   (CHARWD R 833)
-   (CHARHT R 442)
-   )
-(CHARACTER C n
-   (CHARWD R 555)
-   (CHARHT R 442)
-   )
-(CHARACTER C o
-   (CHARWD R 500)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER C p
-   (CHARWD R 555)
-   (CHARHT R 442)
-   (CHARDP R 194)
-   )
-(CHARACTER C q
-   (CHARWD R 527)
-   (CHARHT R 442)
-   (CHARDP R 194)
-   )
-(CHARACTER C r
-   (CHARWD R 391)
-   (CHARHT R 442)
-   )
-(CHARACTER C s
-   (CHARWD R 394)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER C t
-   (CHARWD R 388)
-   (CHARHT R 615)
-   (CHARDP R 11)
-   )
-(CHARACTER C u
-   (CHARWD R 555)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C v
-   (CHARWD R 527)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER C w
-   (CHARWD R 722)
-   (CHARHT R 431)
-   (CHARDP R 11)
-   )
-(CHARACTER C x
-   (CHARWD R 527)
-   (CHARHT R 431)
-   )
-(CHARACTER C y
-   (CHARWD R 527)
-   (CHARHT R 431)
-   (CHARDP R 205)
-   )
-(CHARACTER C z
-   (CHARWD R 444)
-   (CHARHT R 431)
-   )
-(CHARACTER O 173 (comment endash)
-   (CHARWD R 500)
-   (CHARHT R 277)
-   )
-(CHARACTER O 174 (comment emdash)
-   (CHARWD R 1000)
-   (CHARHT R 277)
-   )
-(CHARACTER O 175 (comment hungarumlaut)
-   (CHARWD R 500)
-   (CHARHT R 699)
-   )
-(CHARACTER O 176 (comment tilde)
-   (CHARWD R 500)
-   (CHARHT R 668)
-   )
-(CHARACTER O 177 (comment dieresis)
-   (CHARWD R 500)
-   (CHARHT R 669)
-   )
-(CHARACTER O 200 (comment suppress)
-   (CHARWD R 277)
-   (CHARHT R 392)
-   )
-(CHARACTER O 240 (comment space)
-   (CHARWD R 333)
-   )
-(CHARACTER O 241 (comment Gamma)
-   (CHARWD R 625)
-   (CHARHT R 680)
-   )
-(CHARACTER O 242 (comment Delta)
-   (CHARWD R 833)
-   (CHARHT R 716)
-   )
-(CHARACTER O 243 (comment Theta)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 244 (comment Lambda)
-   (CHARWD R 694)
-   (CHARHT R 716)
-   )
-(CHARACTER O 245 (comment Xi)
-   (CHARWD R 666)
-   (CHARHT R 677)
-   )
-(CHARACTER O 246 (comment Pi)
-   (CHARWD R 750)
-   (CHARHT R 680)
-   )
-(CHARACTER O 247 (comment Sigma)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 250 (comment Upsilon)
-   (CHARWD R 777)
-   (CHARHT R 705)
-   )
-(CHARACTER O 251 (comment Phi)
-   (CHARWD R 722)
-   (CHARHT R 683)
-   )
-(CHARACTER O 252 (comment Psi)
-   (CHARWD R 777)
-   (CHARHT R 683)
-   )
-(CHARACTER O 253 (comment sfthyphen)
-   (CHARWD R 166)
-   (CHARHT R 245)
-   (CHARIC R 110)
-   )
-(CHARACTER O 254 (comment nbspace)
-   (CHARWD R 333)
-   )
-(CHARACTER O 255 (comment Omega)
-   (CHARWD R 722)
-   (CHARHT R 705)
-   )
-(CHARACTER O 256 (comment ff)
-   (CHARWD R 583)
-   (CHARHT R 705)
-   (CHARIC R 45)
-   )
-(CHARACTER O 257 (comment fi)
-   (CHARWD R 555)
-   (CHARHT R 705)
-   )
-(CHARACTER O 260 (comment fl)
-   (CHARWD R 555)
-   (CHARHT R 705)
-   )
-(CHARACTER O 261 (comment ffi)
-   (CHARWD R 833)
-   (CHARHT R 705)
-   )
-(CHARACTER O 262 (comment ffl)
-   (CHARWD R 833)
-   (CHARHT R 705)
-   )
-(CHARACTER O 263 (comment dotlessi)
-   (CHARWD R 277)
-   (CHARHT R 442)
-   )
-(CHARACTER O 264 (comment dotlessj)
-   (CHARWD R 305)
-   (CHARHT R 442)
-   (CHARDP R 205)
-   )
-(CHARACTER O 265 (comment grave)
-   (CHARWD R 500)
-   (CHARHT R 698)
-   )
-(CHARACTER O 266 (comment acute)
-   (CHARWD R 500)
-   (CHARHT R 698)
-   )
-(CHARACTER O 267 (comment caron)
-   (CHARWD R 500)
-   (CHARHT R 638)
-   )
-(CHARACTER O 270 (comment breve)
-   (CHARWD R 500)
-   (CHARHT R 694)
-   )
-(CHARACTER O 271 (comment macron)
-   (CHARWD R 500)
-   (CHARHT R 590)
-   )
-(CHARACTER O 272 (comment ring)
-   (CHARWD R 750)
-   (CHARHT R 716)
-   )
-(CHARACTER O 273 (comment cedilla)
-   (CHARWD R 444)
-   (CHARDP R 203)
-   )
-(CHARACTER O 274 (comment germandbls)
-   (CHARWD R 500)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 275 (comment ae)
-   (CHARWD R 722)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER O 276 (comment oe)
-   (CHARWD R 777)
-   (CHARHT R 448)
-   (CHARDP R 11)
-   )
-(CHARACTER O 277 (comment oslash)
-   (CHARWD R 500)
-   (CHARHT R 534)
-   (CHARDP R 102)
-   )
-(CHARACTER O 300 (comment AE)
-   (CHARWD R 902)
-   (CHARHT R 683)
-   )
-(CHARACTER O 301 (comment OE)
-   (CHARWD R 1013)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER O 302 (comment Oslash)
-   (CHARWD R 777)
-   (CHARHT R 739)
-   (CHARDP R 56)
-   )
-(CHARACTER O 303 (comment suppress)
-   (CHARWD R 277)
-   (CHARHT R 392)
-   )
-(CHARACTER O 304 (comment dieresis)
-   (CHARWD R 500)
-   (CHARHT R 669)
-   )
diff --git a/metrics/cmsy10.pl b/metrics/cmsy10.pl
deleted file mode 100644
index 9cfc46566..000000000
--- a/metrics/cmsy10.pl
+++ /dev/null
@@ -1,894 +0,0 @@
-(FAMILY cmsy10)
-(CODINGSCHEME FONTSPECIFIC)
-(DESIGNSIZE R 10.0)
-(DESIGNUNITS R 1000)
-(COMMENT DESIGNSIZE (1 em) IS IN POINTS)
-(COMMENT OTHER DIMENSIONS ARE MULTIPLES OF DESIGNSIZE/1000)
-(BOUNDARYCHAR O 201)
-(FONTDIMEN
-   (SLANT R 0.250070)
-   (SPACE D 333)
-   (STRETCH D 166)
-   (SHRINK D 111)
-   (XHEIGHT D 400)
-   (QUAD D 1000)
-   (EXTRASPACE D 111)
-   )
-(LIGTABLE
-   (LABEL C A)
-   (KRN C 0 R 194)
-   (STOP)
-   (LABEL C B)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C C)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C D)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C E)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C F)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C G)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C H)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C I)
-   (KRN C 0 R 27)
-   (STOP)
-   (LABEL C J)
-   (KRN C 0 R 166)
-   (STOP)
-   (LABEL C K)
-   (KRN C 0 R 55)
-   (STOP)
-   (LABEL C L)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C M)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C N)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C O)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C P)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C Q)
-   (KRN C 0 R 111)
-   (STOP)
-   (LABEL C R)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C S)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C T)
-   (KRN C 0 R 27)
-   (STOP)
-   (LABEL C U)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C V)
-   (KRN C 0 R 27)
-   (STOP)
-   (LABEL C W)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C X)
-   (KRN C 0 R 138)
-   (STOP)
-   (LABEL C Y)
-   (KRN C 0 R 83)
-   (STOP)
-   (LABEL C Z)
-   (KRN C 0 R 138)
-   (STOP)
-   )
-(CHARACTER O 0 (comment minus)
-   (CHARWD R 777)
-   (CHARHT R 270)
-   )
-(CHARACTER O 1 (comment periodcentered)
-   (CHARWD R 277)
-   (CHARHT R 303)
-   )
-(CHARACTER O 2 (comment multiply)
-   (CHARWD R 777)
-   (CHARHT R 491)
-   )
-(CHARACTER O 3 (comment asteriskmath)
-   (CHARWD R 500)
-   (CHARHT R 465)
-   )
-(CHARACTER O 4 (comment divide)
-   (CHARWD R 777)
-   (CHARHT R 529)
-   (CHARDP R 29)
-   )
-(CHARACTER O 5 (comment diamondmath)
-   (CHARWD R 500)
-   (CHARHT R 488)
-   )
-(CHARACTER O 6 (comment plusminus)
-   (CHARWD R 777)
-   (CHARHT R 666)
-   )
-(CHARACTER O 7 (comment minusplus)
-   (CHARWD R 777)
-   (CHARHT R 500)
-   (CHARDP R 166)
-   )
-(CHARACTER O 10 (comment circleplus)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 11 (comment circleminus)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 12 (comment circlemultiply)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 13 (comment circledivide)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 14 (comment circledot)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 15 (comment circlecopyrt)
-   (CHARWD R 1000)
-   (CHARHT R 716)
-   (CHARDP R 216)
-   )
-(CHARACTER O 16 (comment openbullet)
-   (CHARWD R 500)
-   (CHARHT R 444)
-   )
-(CHARACTER O 17 (comment bullet)
-   (CHARWD R 500)
-   (CHARHT R 444)
-   )
-(CHARACTER O 20 (comment equivasymptotic)
-   (CHARWD R 777)
-   (CHARHT R 484)
-   )
-(CHARACTER O 21 (comment equivalence)
-   (CHARWD R 777)
-   (CHARHT R 464)
-   )
-(CHARACTER O 22 (comment reflexsubset)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 23 (comment reflexsuperset)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 24 (comment lessequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 25 (comment greaterequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 26 (comment precedesequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 27 (comment followsequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 30 (comment similar)
-   (CHARWD R 777)
-   (CHARHT R 367)
-   )
-(CHARACTER O 31 (comment approxequal)
-   (CHARWD R 777)
-   (CHARHT R 483)
-   )
-(CHARACTER O 32 (comment propersubset)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 33 (comment propersuperset)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 34 (comment lessmuch)
-   (CHARWD R 1000)
-   (CHARHT R 566)
-   (CHARDP R 66)
-   )
-(CHARACTER O 35 (comment greatermuch)
-   (CHARWD R 1000)
-   (CHARHT R 566)
-   (CHARDP R 66)
-   )
-(CHARACTER O 36 (comment precedes)
-   (CHARWD R 777)
-   (CHARHT R 539)
-   (CHARDP R 40)
-   )
-(CHARACTER O 37 (comment follows)
-   (CHARWD R 777)
-   (CHARHT R 539)
-   (CHARDP R 40)
-   )
-(CHARACTER O 40 (comment arrowleft)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   (CHARDP R 11)
-   )
-(CHARACTER O 41 (comment arrowright)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   (CHARDP R 11)
-   )
-(CHARACTER O 42 (comment arrowup)
-   (CHARWD R 500)
-   (CHARHT R 693)
-   (CHARDP R 194)
-   )
-(CHARACTER O 43 (comment arrowdown)
-   (CHARWD R 500)
-   (CHARHT R 694)
-   (CHARDP R 193)
-   )
-(CHARACTER O 44 (comment arrowboth)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   (CHARDP R 11)
-   )
-(CHARACTER O 45 (comment arrownortheast)
-   (CHARWD R 1000)
-   (CHARHT R 719)
-   (CHARDP R 195)
-   )
-(CHARACTER O 46 (comment arrowsoutheast)
-   (CHARWD R 1000)
-   (CHARHT R 695)
-   (CHARDP R 219)
-   )
-(CHARACTER O 47 (comment similarequal)
-   (CHARWD R 777)
-   (CHARHT R 464)
-   )
-(CHARACTER O 50 (comment arrowdblleft)
-   (CHARWD R 1000)
-   (CHARHT R 525)
-   (CHARDP R 25)
-   )
-(CHARACTER O 51 (comment arrowdblright)
-   (CHARWD R 1000)
-   (CHARHT R 525)
-   (CHARDP R 25)
-   )
-(CHARACTER O 52 (comment arrowdblup)
-   (CHARWD R 611)
-   (CHARHT R 693)
-   (CHARDP R 194)
-   )
-(CHARACTER O 53 (comment arrowdbldown)
-   (CHARWD R 611)
-   (CHARHT R 694)
-   (CHARDP R 193)
-   )
-(CHARACTER O 54 (comment arrowdblboth)
-   (CHARWD R 1000)
-   (CHARHT R 525)
-   (CHARDP R 25)
-   )
-(CHARACTER O 55 (comment arrownorthwest)
-   (CHARWD R 1000)
-   (CHARHT R 719)
-   (CHARDP R 195)
-   )
-(CHARACTER O 56 (comment arrowsouthwest)
-   (CHARWD R 1000)
-   (CHARHT R 695)
-   (CHARDP R 219)
-   )
-(CHARACTER O 57 (comment proportional)
-   (CHARWD R 777)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C 0
-   (CHARWD R 275)
-   (CHARHT R 559)
-   )
-(CHARACTER C 1
-   (CHARWD R 1000)
-   (CHARHT R 442)
-   (CHARDP R 11)
-   )
-(CHARACTER C 2
-   (CHARWD R 666)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER C 3
-   (CHARWD R 666)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER C 4
-   (CHARWD R 888)
-   (CHARHT R 716)
-   )
-(CHARACTER C 5
-   (CHARWD R 888)
-   (CHARHT R 500)
-   (CHARDP R 216)
-   )
-(CHARACTER C 6
-   (CHARWD R 0)
-   (CHARHT R 716)
-   (CHARDP R 216)
-   (CHARIC R 638)
-   )
-(CHARACTER C 7
-   (CHARWD R 0)
-   (CHARHT R 436)
-   (CHARIC R 123)
-   )
-(CHARACTER C 8
-   (CHARWD R 555)
-   (CHARHT R 694)
-   (CHARDP R 22)
-   (CHARIC R 1)
-   )
-(CHARACTER C 9
-   (CHARWD R 555)
-   (CHARHT R 694)
-   )
-(CHARACTER O 72 (comment logicalnot)
-   (CHARWD R 666)
-   (CHARHT R 356)
-   )
-(CHARACTER O 73 (comment emptyset)
-   (CHARWD R 500)
-   (CHARHT R 772)
-   (CHARDP R 78)
-   )
-(CHARACTER O 74 (comment Rfractur)
-   (CHARWD R 722)
-   (CHARHT R 716)
-   (CHARDP R 22)
-   )
-(CHARACTER O 75 (comment Ifractur)
-   (CHARWD R 722)
-   (CHARHT R 705)
-   (CHARDP R 11)
-   )
-(CHARACTER O 76 (comment latticetop)
-   (CHARWD R 777)
-   (CHARHT R 668)
-   )
-(CHARACTER O 77 (comment perpendicular)
-   (CHARWD R 777)
-   (CHARHT R 668)
-   )
-(CHARACTER O 100 (comment aleph)
-   (CHARWD R 611)
-   (CHARHT R 693)
-   )
-(CHARACTER C A
-   (CHARWD R 798)
-   (CHARHT R 722)
-   (CHARDP R 50)
-   )
-(CHARACTER C B
-   (CHARWD R 656)
-   (CHARHT R 706)
-   (CHARDP R 22)
-   (CHARIC R 9)
-   )
-(CHARACTER C C
-   (CHARWD R 526)
-   (CHARHT R 705)
-   (CHARDP R 24)
-   (CHARIC R 8)
-   )
-(CHARACTER C D
-   (CHARWD R 771)
-   (CHARHT R 683)
-   )
-(CHARACTER C E
-   (CHARWD R 527)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   (CHARIC R 38)
-   )
-(CHARACTER C F
-   (CHARWD R 719)
-   (CHARHT R 685)
-   (CHARDP R 32)
-   (CHARIC R 111)
-   )
-(CHARACTER C G
-   (CHARWD R 594)
-   (CHARHT R 705)
-   (CHARDP R 119)
-   (CHARIC R 7)
-   )
-(CHARACTER C H
-   (CHARWD R 844)
-   (CHARHT R 683)
-   (CHARDP R 49)
-   )
-(CHARACTER C I
-   (CHARWD R 544)
-   (CHARHT R 683)
-   (CHARIC R 91)
-   )
-(CHARACTER C J
-   (CHARWD R 677)
-   (CHARHT R 683)
-   (CHARDP R 119)
-   (CHARIC R 163)
-   )
-(CHARACTER C K
-   (CHARWD R 761)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C L
-   (CHARWD R 689)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C M
-   (CHARWD R 1200)
-   (CHARHT R 705)
-   (CHARDP R 50)
-   )
-(CHARACTER C N
-   (CHARWD R 820)
-   (CHARHT R 775)
-   (CHARDP R 50)
-   (CHARIC R 158)
-   )
-(CHARACTER C O
-   (CHARWD R 796)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   )
-(CHARACTER C P
-   (CHARWD R 695)
-   (CHARHT R 683)
-   (CHARDP R 50)
-   (CHARIC R 38)
-   )
-(CHARACTER C Q
-   (CHARWD R 816)
-   (CHARHT R 705)
-   (CHARDP R 124)
-   )
-(CHARACTER C R
-   (CHARWD R 847)
-   (CHARHT R 683)
-   (CHARDP R 22)
-   )
-(CHARACTER C S
-   (CHARWD R 605)
-   (CHARHT R 705)
-   (CHARDP R 22)
-   (CHARIC R 37)
-   )
-(CHARACTER C T
-   (CHARWD R 544)
-   (CHARHT R 717)
-   (CHARDP R 68)
-   (CHARIC R 290)
-   )
-(CHARACTER C U
-   (CHARWD R 625)
-   (CHARHT R 683)
-   (CHARDP R 28)
-   (CHARIC R 63)
-   )
-(CHARACTER C V
-   (CHARWD R 612)
-   (CHARHT R 683)
-   (CHARDP R 45)
-   (CHARIC R 48)
-   )
-(CHARACTER C W
-   (CHARWD R 987)
-   (CHARHT R 683)
-   (CHARDP R 45)
-   (CHARIC R 49)
-   )
-(CHARACTER C X
-   (CHARWD R 713)
-   (CHARHT R 683)
-   (CHARIC R 95)
-   )
-(CHARACTER C Y
-   (CHARWD R 668)
-   (CHARHT R 683)
-   (CHARDP R 135)
-   (CHARIC R 49)
-   )
-(CHARACTER C Z
-   (CHARWD R 724)
-   (CHARHT R 683)
-   (CHARIC R 43)
-   )
-(CHARACTER O 133 (comment union)
-   (CHARWD R 666)
-   (CHARHT R 598)
-   (CHARDP R 22)
-   )
-(CHARACTER O 134 (comment intersection)
-   (CHARWD R 666)
-   (CHARHT R 598)
-   (CHARDP R 22)
-   )
-(CHARACTER O 135 (comment unionmulti)
-   (CHARWD R 666)
-   (CHARHT R 598)
-   (CHARDP R 22)
-   )
-(CHARACTER O 136 (comment logicaland)
-   (CHARWD R 666)
-   (CHARHT R 598)
-   (CHARDP R 22)
-   )
-(CHARACTER O 137 (comment logicalor)
-   (CHARWD R 666)
-   (CHARHT R 598)
-   (CHARDP R 22)
-   )
-(CHARACTER O 140 (comment turnstileleft)
-   (CHARWD R 611)
-   (CHARHT R 694)
-   )
-(CHARACTER C a
-   (CHARWD R 611)
-   (CHARHT R 694)
-   )
-(CHARACTER C b
-   (CHARWD R 444)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C c
-   (CHARWD R 444)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C d
-   (CHARWD R 444)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C e
-   (CHARWD R 444)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C f
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C g
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C h
-   (CHARWD R 388)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C i
-   (CHARWD R 388)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C j
-   (CHARWD R 277)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C k
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C l
-   (CHARWD R 500)
-   (CHARHT R 771)
-   (CHARDP R 271)
-   )
-(CHARACTER C m
-   (CHARWD R 611)
-   (CHARHT R 771)
-   (CHARDP R 271)
-   )
-(CHARACTER C n
-   (CHARWD R 500)
-   (CHARHT R 750)
-   (CHARDP R 250)
-   )
-(CHARACTER C o
-   (CHARWD R 277)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER C p
-   (CHARWD R 833)
-   (CHARHT R 40)
-   (CHARDP R 960)
-   (CHARIC R 20)
-   )
-(CHARACTER C q
-   (CHARWD R 750)
-   (CHARHT R 683)
-   )
-(CHARACTER C r
-   (CHARWD R 833)
-   (CHARHT R 683)
-   (CHARDP R 33)
-   )
-(CHARACTER C s
-   (CHARWD R 416)
-   (CHARHT R 716)
-   (CHARDP R 216)
-   (CHARIC R 56)
-   )
-(CHARACTER C t
-   (CHARWD R 666)
-   (CHARHT R 598)
-   )
-(CHARACTER C u
-   (CHARWD R 666)
-   (CHARHT R 598)
-   )
-(CHARACTER C v
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER C w
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER C x
-   (CHARWD R 444)
-   (CHARHT R 705)
-   (CHARDP R 205)
-   )
-(CHARACTER C y
-   (CHARWD R 444)
-   (CHARHT R 705)
-   (CHARDP R 216)
-   )
-(CHARACTER C z
-   (CHARWD R 444)
-   (CHARHT R 705)
-   (CHARDP R 205)
-   )
-(CHARACTER O 173 (comment paragraph)
-   (CHARWD R 611)
-   (CHARHT R 694)
-   (CHARDP R 194)
-   )
-(CHARACTER O 174 (comment club)
-   (CHARWD R 777)
-   (CHARHT R 727)
-   (CHARDP R 130)
-   )
-(CHARACTER O 175 (comment diamond)
-   (CHARWD R 777)
-   (CHARHT R 727)
-   (CHARDP R 163)
-   )
-(CHARACTER O 176 (comment heart)
-   (CHARWD R 777)
-   (CHARHT R 716)
-   (CHARDP R 33)
-   )
-(CHARACTER O 177 (comment spade)
-   (CHARWD R 777)
-   (CHARHT R 727)
-   (CHARDP R 130)
-   )
-(CHARACTER O 200 (comment arrowleft)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   (CHARDP R 11)
-   )
-(CHARACTER O 240 (comment space)
-   (CHARWD R 333)
-   )
-(CHARACTER O 241 (comment minus)
-   (CHARWD R 777)
-   (CHARHT R 270)
-   )
-(CHARACTER O 242 (comment periodcentered)
-   (CHARWD R 277)
-   (CHARHT R 303)
-   )
-(CHARACTER O 243 (comment multiply)
-   (CHARWD R 777)
-   (CHARHT R 491)
-   )
-(CHARACTER O 244 (comment asteriskmath)
-   (CHARWD R 500)
-   (CHARHT R 465)
-   )
-(CHARACTER O 245 (comment divide)
-   (CHARWD R 777)
-   (CHARHT R 529)
-   (CHARDP R 29)
-   )
-(CHARACTER O 246 (comment diamondmath)
-   (CHARWD R 500)
-   (CHARHT R 488)
-   )
-(CHARACTER O 247 (comment plusminus)
-   (CHARWD R 777)
-   (CHARHT R 666)
-   )
-(CHARACTER O 250 (comment minusplus)
-   (CHARWD R 777)
-   (CHARHT R 500)
-   (CHARDP R 166)
-   )
-(CHARACTER O 251 (comment circleplus)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 252 (comment circleminus)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 255 (comment circlemultiply)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 256 (comment circledivide)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 257 (comment circledot)
-   (CHARWD R 777)
-   (CHARHT R 583)
-   (CHARDP R 83)
-   )
-(CHARACTER O 260 (comment circlecopyrt)
-   (CHARWD R 1000)
-   (CHARHT R 716)
-   (CHARDP R 216)
-   )
-(CHARACTER O 261 (comment openbullet)
-   (CHARWD R 500)
-   (CHARHT R 444)
-   )
-(CHARACTER O 262 (comment bullet)
-   (CHARWD R 500)
-   (CHARHT R 444)
-   )
-(CHARACTER O 263 (comment equivasymptotic)
-   (CHARWD R 777)
-   (CHARHT R 484)
-   )
-(CHARACTER O 264 (comment equivalence)
-   (CHARWD R 777)
-   (CHARHT R 464)
-   )
-(CHARACTER O 265 (comment reflexsubset)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 266 (comment reflexsuperset)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 267 (comment lessequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 270 (comment greaterequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 271 (comment precedesequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 272 (comment followsequal)
-   (CHARWD R 777)
-   (CHARHT R 636)
-   (CHARDP R 137)
-   )
-(CHARACTER O 273 (comment similar)
-   (CHARWD R 777)
-   (CHARHT R 367)
-   )
-(CHARACTER O 274 (comment approxequal)
-   (CHARWD R 777)
-   (CHARHT R 483)
-   )
-(CHARACTER O 275 (comment propersubset)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 276 (comment propersuperset)
-   (CHARWD R 777)
-   (CHARHT R 540)
-   (CHARDP R 40)
-   )
-(CHARACTER O 277 (comment lessmuch)
-   (CHARWD R 1000)
-   (CHARHT R 566)
-   (CHARDP R 66)
-   )
-(CHARACTER O 300 (comment greatermuch)
-   (CHARWD R 1000)
-   (CHARHT R 566)
-   (CHARDP R 66)
-   )
-(CHARACTER O 301 (comment precedes)
-   (CHARWD R 777)
-   (CHARHT R 539)
-   (CHARDP R 40)
-   )
-(CHARACTER O 302 (comment follows)
-   (CHARWD R 777)
-   (CHARHT R 539)
-   (CHARDP R 40)
-   )
-(CHARACTER O 303 (comment arrowleft)
-   (CHARWD R 1000)
-   (CHARHT R 511)
-   (CHARDP R 11)
-   )
-(CHARACTER O 304 (comment spade)
-   (CHARWD R 777)
-   (CHARHT R 727)
-   (CHARDP R 130)
-   )
diff --git a/metrics/metric_parse.py b/metrics/metric_parse.py
deleted file mode 100755
index 41d8ce4c5..000000000
--- a/metrics/metric_parse.py
+++ /dev/null
@@ -1,336 +0,0 @@
-#!/usr/bin/env python
-
-import re
-import json
-import os
-
-expr_start = re.compile(r"\s*\(")
-expr_value = re.compile(r"\s*([^\s\)]+)")
-expr_end = re.compile(r"\s*\)")
-empty = re.compile(r"\s*$")
-
-
-def inner_parse_expr(expr):
-    l = []
-    while True:
-        if re.match(empty, expr):
-            return expr, l
-        elif re.match(expr_start, expr):
-            match = re.match(expr_start, expr)
-            new_expr = expr[len(match.group(0)):]
-            expr, group = inner_parse_expr(new_expr)
-            l.append(group)
-        elif re.match(expr_value, expr):
-            match = re.match(expr_value, expr)
-            expr = expr[len(match.group(0)):]
-            l.append(match.group(1))
-        elif re.match(expr_end, expr):
-            match = re.match(expr_end, expr)
-            new_expr = expr[len(match.group(0)):]
-            return new_expr, l
-        else:
-            raise ValueError("Invalid input")
-
-
-def parse_expr(expr):
-    _, group = inner_parse_expr(expr)
-    return group
-
-
-def read_pl(pl_file):
-    with open(pl_file) as pl:
-        return parse_expr(pl.read())
-
-
-class Metric:
-    def __init__(self, char, height, depth, italic_correction):
-        self.char = char
-        self.height = float(height) / 1000
-        self.depth = float(depth) / 1000
-        self.italic_correction = float(italic_correction) / 1000
-
-    def __repr__(self):
-        return "Char {0} ({1:.3f}+{2:.3f})".format(
-                self.char, self.height, self.depth)
-
-
-# Different styles of text, found on page 13 of The TeX book
-ROMAN = "roman"
-SLANTED = "slanted"
-ITALIC = "italic"
-TYPEWRITER = "typewriter"
-BOLD = "bold"
-
-
-# The numbers used in this map are all in octal, because that's how all the
-# charts for the numbers are written
-file_map = {
-    "cmmi10.pl": {
-        13: (u"\u03b1", ITALIC),  # \alpha
-        14: (u"\u03b2", ITALIC),  # \beta
-        15: (u"\u03b3", ITALIC),  # \gamma
-        16: (u"\u03b4", ITALIC),  # \delta
-        17: (u"\u03b5", ITALIC),  # \varepsilon
-        20: (u"\u03b6", ITALIC),  # \zeta
-        21: (u"\u03b7", ITALIC),  # \eta
-        22: (u"\u03b8", ITALIC),  # \theta
-        23: (u"\u03b9", ITALIC),  # \iota
-        24: (u"\u03ba", ITALIC),  # \kappa
-        25: (u"\u03bb", ITALIC),  # \lambda
-        26: (u"\u03bc", ITALIC),  # \mu
-        27: (u"\u03bd", ITALIC),  # \nu
-        30: (u"\u03be", ITALIC),  # \xi
-        31: (u"\u03c0", ITALIC),  # \pi
-        32: (u"\u03c1", ITALIC),  # \rho
-        33: (u"\u03c3", ITALIC),  # \sigma
-        34: (u"\u03c4", ITALIC),  # \tau
-        35: (u"\u03c5", ITALIC),  # \upsilon
-        36: (u"\u03d5", ITALIC),  # \phi
-        37: (u"\u03c7", ITALIC),  # \chi
-        40: (u"\u03c8", ITALIC),  # \psi
-        41: (u"\u03c9", ITALIC),  # \omega
-        42: (u"\u03b5", ITALIC),  # \epsilon
-        43: (u"\u03d1", ITALIC),  # \vartheta
-        44: (u"\u03d6", ITALIC),  # \varpi
-        45: (u"\u03f1", ITALIC),  # \varrho
-        46: (u"\u03c2", ITALIC),  # \varsigma
-        47: (u"\u03c6", ITALIC),  # \varphi
-        72: (u".", ROMAN),
-        73: (u",", ROMAN),
-        74: (u"<", ROMAN),
-        75: (u"/", ROMAN),
-        76: (u">", ROMAN),
-        101: (u"A", ITALIC),
-        102: (u"B", ITALIC),
-        103: (u"C", ITALIC),
-        104: (u"D", ITALIC),
-        105: (u"E", ITALIC),
-        106: (u"F", ITALIC),
-        107: (u"G", ITALIC),
-        110: (u"H", ITALIC),
-        111: (u"I", ITALIC),
-        112: (u"J", ITALIC),
-        113: (u"K", ITALIC),
-        114: (u"L", ITALIC),
-        115: (u"M", ITALIC),
-        116: (u"N", ITALIC),
-        117: (u"O", ITALIC),
-        120: (u"P", ITALIC),
-        121: (u"Q", ITALIC),
-        122: (u"R", ITALIC),
-        123: (u"S", ITALIC),
-        124: (u"T", ITALIC),
-        125: (u"U", ITALIC),
-        126: (u"V", ITALIC),
-        127: (u"W", ITALIC),
-        130: (u"X", ITALIC),
-        131: (u"Y", ITALIC),
-        132: (u"Z", ITALIC),
-        141: (u"a", ITALIC),
-        142: (u"b", ITALIC),
-        143: (u"c", ITALIC),
-        144: (u"d", ITALIC),
-        145: (u"e", ITALIC),
-        146: (u"f", ITALIC),
-        147: (u"g", ITALIC),
-        150: (u"h", ITALIC),
-        151: (u"i", ITALIC),
-        152: (u"j", ITALIC),
-        153: (u"k", ITALIC),
-        154: (u"l", ITALIC),
-        155: (u"m", ITALIC),
-        156: (u"n", ITALIC),
-        157: (u"o", ITALIC),
-        160: (u"p", ITALIC),
-        161: (u"q", ITALIC),
-        162: (u"r", ITALIC),
-        163: (u"s", ITALIC),
-        164: (u"t", ITALIC),
-        165: (u"u", ITALIC),
-        166: (u"v", ITALIC),
-        167: (u"w", ITALIC),
-        170: (u"x", ITALIC),
-        171: (u"y", ITALIC),
-        172: (u"z", ITALIC),
-    },
-    "cmr10.pl": {
-        0: (u"\u0393", ROMAN),  # \Gamma
-        1: (u"\u0394", ROMAN),  # \Delta
-        2: (u"\u0398", ROMAN),  # \Theta
-        3: (u"\u039b", ROMAN),  # \Lambda
-        4: (u"\u039e", ROMAN),  # \Xi
-        5: (u"\u03a0", ROMAN),  # \Pi
-        6: (u"\u03a3", ROMAN),  # \Sigma
-        7: (u"\u03a5", ROMAN),  # \Upsilon
-        10: (u"\u03a6", ROMAN),  # \Phi
-        11: (u"\u03a8", ROMAN),  # \Psi
-        12: (u"\u03a9", ROMAN),  # \Omega
-        41: (u"!", ROMAN),
-        42: (u"\"", ROMAN),
-        44: (u"$", ROMAN),
-        50: (u"(", ROMAN),
-        51: (u")", ROMAN),
-        53: (u"+", ROMAN),
-        60: (u"0", ROMAN),
-        61: (u"1", ROMAN),
-        62: (u"2", ROMAN),
-        63: (u"3", ROMAN),
-        64: (u"4", ROMAN),
-        65: (u"5", ROMAN),
-        66: (u"6", ROMAN),
-        67: (u"7", ROMAN),
-        70: (u"8", ROMAN),
-        71: (u"9", ROMAN),
-        72: (u":", ROMAN),
-        73: (u";", ROMAN),
-        75: (u"=", ROMAN),
-        77: (u"?", ROMAN),
-        100: (u"@", ROMAN),
-        101: (u"A", ROMAN),
-        102: (u"B", ROMAN),
-        103: (u"C", ROMAN),
-        104: (u"D", ROMAN),
-        105: (u"E", ROMAN),
-        106: (u"F", ROMAN),
-        107: (u"G", ROMAN),
-        110: (u"H", ROMAN),
-        111: (u"I", ROMAN),
-        112: (u"J", ROMAN),
-        113: (u"K", ROMAN),
-        114: (u"L", ROMAN),
-        115: (u"M", ROMAN),
-        116: (u"N", ROMAN),
-        117: (u"O", ROMAN),
-        120: (u"P", ROMAN),
-        121: (u"Q", ROMAN),
-        122: (u"R", ROMAN),
-        123: (u"S", ROMAN),
-        124: (u"T", ROMAN),
-        125: (u"U", ROMAN),
-        126: (u"V", ROMAN),
-        127: (u"W", ROMAN),
-        130: (u"X", ROMAN),
-        131: (u"Y", ROMAN),
-        132: (u"Z", ROMAN),
-        133: (u"[", ROMAN),
-        135: (u"]", ROMAN),
-        140: (u"`", ROMAN),
-        141: (u"a", ROMAN),
-        142: (u"b", ROMAN),
-        143: (u"c", ROMAN),
-        144: (u"d", ROMAN),
-        145: (u"e", ROMAN),
-        146: (u"f", ROMAN),
-        147: (u"g", ROMAN),
-        150: (u"h", ROMAN),
-        151: (u"i", ROMAN),
-        152: (u"j", ROMAN),
-        153: (u"k", ROMAN),
-        154: (u"l", ROMAN),
-        155: (u"m", ROMAN),
-        156: (u"n", ROMAN),
-        157: (u"o", ROMAN),
-        160: (u"p", ROMAN),
-        161: (u"q", ROMAN),
-        162: (u"r", ROMAN),
-        163: (u"s", ROMAN),
-        164: (u"t", ROMAN),
-        165: (u"u", ROMAN),
-        166: (u"v", ROMAN),
-        167: (u"w", ROMAN),
-        170: (u"x", ROMAN),
-        171: (u"y", ROMAN),
-        172: (u"z", ROMAN),
-    },
-    "cmsy10.pl": {
-        0: (u"\u2212", ROMAN),  # -
-        1: (u"\u22c5", ROMAN),  # \cdot
-        2: (u"\u00d7", ROMAN),  # \times
-        3: (u"\u2217", ROMAN),  # *
-        4: (u"\u00f7", ROMAN),  # \div
-        6: (u"\u00b1", ROMAN),  # \pm
-        16: (u"\u2218", ROMAN),  # \circ
-        24: (u"\u2264", ROMAN),  # \leq
-        25: (u"\u2265", ROMAN),  # \geq
-        40: (u"\u2190", ROMAN),  # \leftarrow
-        41: (u"\u2192", ROMAN),  # \rightarrow
-        60: (u"\u2032", ROMAN),  # \prime
-        61: (u"\u221e", ROMAN),  # \infty
-        152: (u"|", ROMAN),  # |
-    }
-}
-
-
-def read_metrics(pl_file, metrics):
-    pl = read_pl(pl_file)
-
-    metrics_to_read = file_map[pl_file]
-
-    for elem in pl:
-        if elem[0] == "CHARACTER":
-            if elem[1] == "C":
-                char = int(oct(ord(elem[2])))
-            elif elem[1] == "O":
-                char = int(elem[2])
-            else:
-                continue
-
-            if not char in metrics_to_read:
-                continue
-
-            map_char, map_style = metrics_to_read[char]
-
-            char_height = 0
-            char_depth = 0
-            italic_correction = 0
-
-            for metric in elem[3:]:
-                if metric[0] == "comment":
-                    continue
-                elif metric[0] == "CHARHT":
-                    char_height = int(metric[2])
-                elif metric[0] == "CHARDP":
-                    char_depth = int(metric[2])
-                elif metric[0] == "CHARIC":
-                    italic_correction = int(metric[2])
-
-            metrics[map_style].append(
-                    Metric(map_char, char_height, char_depth,
-                            italic_correction))
-
-
-def print_metrics(metrics):
-    metric_map = {
-        style: {
-            "height": {
-                metric.char: metric.height for metric in metric_list
-            },
-            "depth": {
-                metric.char: metric.depth for metric in metric_list
-            },
-            "italicCorrection": {
-                metric.char: metric.italic_correction for metric in metric_list
-            },
-        } for style, metric_list in metrics.iteritems()
-    }
-
-    print "var metricMap = {0};".format(json.dumps(metric_map, indent=4))
-
-
-if __name__ == "__main__":
-    os.chdir(os.path.dirname(os.path.realpath(__file__)))
-
-    metrics = {
-        "roman": [],
-        "italic": [],
-        "slanted": [],
-        "typewriter": [],
-        "bold": [],
-    }
-
-    for metric_file in file_map:
-        read_metrics(metric_file, metrics)
-
-    metrics["roman"].append(Metric(u'\u00a0', 0, 0, 0))
-
-    print_metrics(metrics)