XML es un lenguaje de marcas. Un lenguaje de marcas es un mecanismo para anotar texto con información adicional. Sus origenes se deben a los lenguajes de impresión, que incluian anotaciones de formato aparte del texto a imprimir. Una importante propiedad que se implantó desde sus primeros fue la separación de la estructura del texto de su formato.