Symbol: gf_mul