From 7f25fd7dc951930ac4440eb16ccddddb87a46839 Mon Sep 17 00:00:00 2001 From: Ben Alpert Date: Wed, 14 Aug 2013 10:57:00 -0700 Subject: [PATCH] Parse metrics directly from .ttf files Summary: Fixes T1325. This has the advantage of not having to do the mapping manually. Also it means that characters like \neq are included in the mapping, so this resolves T1323 as well. I opted to group the metrics by character instead of by metric type because I think it'll gzip better and it makes getCharacterMetrics simpler anyway. Test Plan: The test page looks identical to the pixel to my eye. Reviewers: emily Reviewed By: emily Maniphest Tasks: T1323, T1325 Differential Revision: http://phabricator.khanacademy.org/D3535 --- buildTree.js | 9 +- fontMetrics.js | 607 +----------------- metric_parse.rb | 46 ++ metrics/cmex10.pl | 860 -------------------------- metrics/cmmi10.pl | 1286 --------------------------------------- metrics/cmr10.pl | 1082 -------------------------------- metrics/cmsy10.pl | 894 --------------------------- metrics/metric_parse.py | 336 ---------- 8 files changed, 53 insertions(+), 5067 deletions(-) create mode 100644 metric_parse.rb delete mode 100644 metrics/cmex10.pl delete mode 100644 metrics/cmmi10.pl delete mode 100644 metrics/cmr10.pl delete mode 100644 metrics/cmsy10.pl delete mode 100755 metrics/metric_parse.py 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)