Discrete Math Translator