• Download the files myparser.java, myparser.cat, and http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd to your work directory.
• Compile the java program with the command ‘javac myparser.java’
• Invoke the parser with a command of the form ‘java myparser filename’.

The downloaded files of the validator can be stored in alternative directories. In such a case, the following modifications are needed.

• The reference to the catalog file myparser.cat in the java program should be supplied with the directory name of the file.
• The reference to the DTD file xhtml-math11-f.dtd in the catalog myparser.cat should be supplied with the directory name of the DTD file.
• The call to the java utility should take the form ‘java -classpath directory-name-of-the-utility myparser filename’.

Note: Validators can be automatically invoked through scripts similar to the following ones in the environment file tex4ht.env.