name wasy execute addMap mixed wasy.map docfiles texmf-dist/doc/fonts/wasy/README texmf-dist/doc/fonts/wasy/legal.txt texmf-dist/doc/fonts/wasy/wasydoc.pdf texmf-dist/doc/fonts/wasy/wasydoc.tex texmf-dist/doc/fonts/wasy/wasyfont.2 runfiles texmf-dist/fonts/afm/public/wasy/wasy10.afm texmf-dist/fonts/afm/public/wasy/wasy5.afm texmf-dist/fonts/afm/public/wasy/wasy6.afm texmf-dist/fonts/afm/public/wasy/wasy7.afm texmf-dist/fonts/afm/public/wasy/wasy8.afm texmf-dist/fonts/afm/public/wasy/wasy9.afm texmf-dist/fonts/afm/public/wasy/wasyb10.afm texmf-dist/fonts/map/dvips/wasy/wasy.map texmf-dist/fonts/source/public/wasy/lasychr.mf texmf-dist/fonts/source/public/wasy/rsym.mf texmf-dist/fonts/source/public/wasy/wasy10.mf texmf-dist/fonts/source/public/wasy/wasy5.mf texmf-dist/fonts/source/public/wasy/wasy6.mf texmf-dist/fonts/source/public/wasy/wasy7.mf texmf-dist/fonts/source/public/wasy/wasy8.mf texmf-dist/fonts/source/public/wasy/wasy9.mf texmf-dist/fonts/source/public/wasy/wasyb10.mf texmf-dist/fonts/source/public/wasy/wasychr.mf texmf-dist/fonts/tfm/public/wasy/wasy10.tfm texmf-dist/fonts/tfm/public/wasy/wasy5.tfm texmf-dist/fonts/tfm/public/wasy/wasy6.tfm texmf-dist/fonts/tfm/public/wasy/wasy7.tfm texmf-dist/fonts/tfm/public/wasy/wasy8.tfm texmf-dist/fonts/tfm/public/wasy/wasy9.tfm texmf-dist/fonts/tfm/public/wasy/wasyb10.tfm texmf-dist/fonts/type1/public/wasy/wasy10.pfb texmf-dist/fonts/type1/public/wasy/wasy10.pfm texmf-dist/fonts/type1/public/wasy/wasy5.pfb texmf-dist/fonts/type1/public/wasy/wasy5.pfm texmf-dist/fonts/type1/public/wasy/wasy6.pfb texmf-dist/fonts/type1/public/wasy/wasy6.pfm texmf-dist/fonts/type1/public/wasy/wasy7.pfb texmf-dist/fonts/type1/public/wasy/wasy7.pfm texmf-dist/fonts/type1/public/wasy/wasy8.pfb texmf-dist/fonts/type1/public/wasy/wasy8.pfm texmf-dist/fonts/type1/public/wasy/wasy9.pfb texmf-dist/fonts/type1/public/wasy/wasy9.pfm texmf-dist/fonts/type1/public/wasy/wasyb10.pfb texmf-dist/fonts/type1/public/wasy/wasyb10.pfm texmf-dist/tex/plain/wasy/wasyfont.tex