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.
This commit is contained in:
Georg Baum 2016-06-05 16:53:55 +02:00
parent 961d629301
commit 0009732fe8

View File

@ -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