add <dfn> and MathML examples.