¿Qué empresa fue la que lanzó el sistema de fuentes TrueType basado en la definición matemática de las letras?