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