pjs/layout/mathml/tools
..
encode.pl
mathfont.pl