The MATH logic and symbol battles