These are vpls which map the old ams symbol fonts msx* and msy*
to the new ones, msa* and msb*

This works slightly better than to copy msa* to msx* etc,
particularly in the case where old dvis are around


--mahilata