Проверка валидности и вычислимости формулы, введенной на LaTeX.