Symbol: get_mul