MathML Kvalidator (2025)

The Kvalidator™ gives you potential errors in your MathML markup. It will flag correct markup as well (false positives), and it will let incorrect markup go undetected (false negatives). E.g., it is correct math to have "ten to the power of (the letter) O", that is 1O^O, but usually this is incorrect markup where it should have been "ten to the power of zero", so this will be flagged.

For lists, sets and coordinates it is impossible to check if (1,2,3) should have been a two- or three-dimensional coordinate, or if {1,2¹⁰} should be a set with one or two elements (if comma is used both as a separator and as a decimal point).

Fortunately, many of these false positives are very easy for us humans to see as false positives. So, the Kvalidator would rather flag false positives than let false negatives go undetected.