Lenguaje de marcas extensible (eXtensible Markup Language) es un metalenguaje que permite definir la gramática de lenguajes específicos. No es realmente un lenguaje en particular, sino una manera de definir lenguajes para diferentes necesidades. Algunos de estos lenguajes que usan XML para su definición son: XHTML, SVG, MathML.