The source files of Mathador are distributed under the GNU General Public License.
Click here for download the source code.

The MathML dtd can be found here.