Fix errors found by generate_symbols_images.py

llltr is a copy-paste error, the correct name is llless.
astrosun needs the wasysym package (the automatism does not kick in because
the font is cmsy, not wasy).
This commit is contained in:
Georg Baum 2012-12-16 14:44:49 +01:00
parent 8838648858
commit f96f9684ce

View File

@ -540,7 +540,7 @@ supseteqq msa 107 0 mathrel ⫆
bumpeq msa 108 0 mathrel ≏ bumpeq msa 108 0 mathrel ≏
Bumpeq msa 109 0 mathrel ≎ Bumpeq msa 109 0 mathrel ≎
lll msa 110 0 mathrel ⋘ lll msa 110 0 mathrel ⋘
llltr msa 110 0 mathrel ⋘ llless msa 110 0 mathrel ⋘
ggg msa 111 0 mathrel ⋙ ggg msa 111 0 mathrel ⋙
gggtr msa 111 0 mathrel ⋙ gggtr msa 111 0 mathrel ⋙
circledS msa 115 0 mathord Ⓢ circledS msa 115 0 mathord Ⓢ
@ -734,7 +734,7 @@ fullmoon wasy 35 0 x ˆ
newmoon wasy 32 0 x ● newmoon wasy 32 0 x ●
leftmoon wasy 36 0 x ☾ leftmoon wasy 36 0 x ☾
rightmoon wasy 37 0 x ☽ rightmoon wasy 37 0 x ☽
astrosun cmsy 175 0 mathbin ☉ astrosun cmsy 175 0 mathbin ☉ wasysym
mercury wasy 39 0 x ☿ mercury wasy 39 0 x ☿
venus wasy 25 0 x ♀ venus wasy 25 0 x ♀
earth wasy 38 0 x ♁ earth wasy 38 0 x ♁