From 0009732fe8fd3f0793c13c1ce4160adec8313714 Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Sun, 5 Jun 2016 16:53:55 +0200 Subject: [PATCH] Fix encoding for computer modern fonts The essential hints came from Guillaume amd Jean-Marc at bug #8883. Tested by comparing the output of python generate_symbols_list.py `kpsewhich fontmath.ltx` with lib/symbols. --- development/tools/generate_symbols_list.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/development/tools/generate_symbols_list.py b/development/tools/generate_symbols_list.py index 02482f6d33..d640a6b729 100755 --- a/development/tools/generate_symbols_list.py +++ b/development/tools/generate_symbols_list.py @@ -12,11 +12,15 @@ import sys,string,re,os,os.path import io def get_code(code, font): - if font != "dontknowwhichfontusesthisstrangeencoding": + # computer modern fonts use a strange encoding + cmfonts = ["cmex", "cmr", "cmm", "cmsy"] + if font not in cmfonts: return code if code < 10: return code+161 - elif code < 32: + if code < 11: + return code+162 + elif code <= 32: return code+163 else: return code