de TeX un lenguaje Turing completo incluso al nivel de sustitución.