commit 0009732fe8fd3f0793c13c1ce4160adec8313714
Author: Georg Baum <[email protected]>
Date:   Sun Jun 5 16:53:55 2016 +0200

    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.

diff --git a/development/tools/generate_symbols_list.py 
b/development/tools/generate_symbols_list.py
index 02482f6..d640a6b 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

Reply via email to