Symbol: mp_eq_to_hgt