Commandes

1. Holophraste : h

2. Impression : p

3. Déplacement horizontal : l r

4. Déplacement vertical : e q

5. Modification : i j k c

6. Saisie : ( )

7. Macro : d y m -

8. Fichier/buffer : f b

9. Commande Lisp : !

10. Affichage évalué : a

1. Holophraste : h

L'holophraste est un entier, initialisé à une valeur donnée à la racine d'un sous-arbre des textes – le "terme" sur lequel on est –, puis décrémenté selon des règles préétablies quand on affiche les champs d'un opérateur de ce sous-arbre.

Par exemple :

• sachant que l'opérateur def est affiché avec un holophraste N,
• l'environnement de définition est affiché avec un holophraste N-1,
• la représentation est affichée avec un holophraste N-2,

Une bonne manière d'exploiter cette notion est de ne pas réaliser l'affichage d'un champ quand l'holophraste est nul.

Commande

h <num>