"La ciencia es lo que entendemos lo suficientemente bien como para explicárselo a un ordenador. El arte es todo lo demás". Donald Knuth, profesor de Stanford, es el informático de los informáticos. Muchos de los algoritmos que se utilizan hoy en día en informática fueron desarrollados por él, y también ha hecho importantes contribuciones a las matemáticas. Pero, ¿qué puede tener eso que ver con la tipografía? A finales de los años 70, Knuth dejó de escribir su obra magna, El arte de programar ordenadores, debido a su creciente insatisfacción con la calidad de la composición tipográfica. Se propuso automatizar la tipografía de alta calidad, prestando especial atención a los textos matemáticos. Obtuvo dos resultados, uno de los cuales ha tenido un éxito masivo, el otro (a pesar de ser una obra asombrosa) nunca llegó a ser lo suficientemente fácil de usar como para ser una herramienta práctica. El primero es el lenguaje de composición tipográfica TeX, utilizado por estudiantes y académicos de ciencias de todo el mundo. Un usuario de TeX puede establecer reglas que funcionen en todo un documento, de forma muy parecida al XML con hojas de estilo. TeX tiene un motor de composición cuyo manejo de la separación silábica, la justificación, la evitación de ríos, etc. apenas está teniendo rival. Las matemáticas rara vez se fijan mejor que con TeX. El código fuente de TeX siempre ha estado disponible, un ejemplo temprano del modelo de código abierto. Las correcciones de errores se han ralentizado hasta tal punto que probablemente sea el gran programa informático más fiable que existe. El segundo de ellos es METAFONT, escrito por Knuth para proporcionar fuentes para TeX. Al querer un gran número de diseños tipográficos, todos relacionados estilísticamente, diseñó METAFONT de tal forma que el programador de fuente pudiera construir muchas variaciones, que un usuario de fuente pudiera variar para obtener el fuente necesario. La familia Computer Modern fuente suministrada con TeX incluye versiones romanas, sans-serifs, typewriter y monospace; la mayoría incluye variaciones para diferentes tamaños ópticos. Desgraciadamente, a pesar de las aportaciones de diseñadores tipográficos como Hermann Zapf y otros, por cuyas recomendaciones Knuth hizo extensiones al programa, pocos fuentes se han hecho como meta-fuentes; la principal queja es que es muy difícil representar los fuentes existentes como programas METAFONT. Knuth declara ahora que su trabajo en el campo de la tipografía ha terminado; su libro de 1999, Digital Typography, recoge sus trabajos sobre el tema. No obstante, se le sigue viendo en conferencias sobre tipografía...