Symbol: used_math