# mpfonts.map is and must not be enabled, because it (intentionally) has # many conflicts with the standard psfonts.map.