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