Symbol: mpn_sub_n