Substitutions
Les substitutions sont des expressions de la forme [... => ...]
remplaçant
une entité par une autre.
Variables
On peut remplacer des variables par n'importe quel rayon :
show-exec (+f(X))[X=>Y].
show-exec (+f(X))[X=>+a(X)].
Symboles de fonction
On peut remplacer les symboles de fonctions par d'autres symboles de fonction :
show-exec (+f(X))[+f=>+g].
show-exec (+f(X))[+f=>f].
On peut aussi omettre la partie gauche ou droite de =>
pour ajouter
ou retirer un symbole de tête :
show-exec (+f(X); f(X))[=>+a].
show-exec (+f(X); f(X))[=>a].
show-exec (+f(X); f(X))[+f=>].
Identificateurs de constellations
show-exec (#1 #2)[#1=>+f(X) X][#2=>-f(a)].