La especificación de Eiffel incluye directrices para los textos del programa que muestra en formato composición tipográfica: palabras clave en codice_71, identificadores definidos por el usuario y las constantes se muestran en "codice_72", los comentarios, los operadores y marcas de puntuación en codice_73, con el texto del programa en azul como en el presente artículo para distinguirlo de un texto explicativo.