Es decir, los objetos matemáticos (tales como anillos, campos, polinomios) así como las estructuras de datos de la informática (como listas, árboles, tablas hash) son escritos automáticamente.