1. TypographieBarre oblique inversée.Pour indiquer le complément d’un sous-ensemble de X ou de X*, plutôt que le symbole unaire ∁ nous emploierons la controblique « \ » binaire : Pour A ⊆ X*, « X*\A » désigne le complémentaire de A dans X*, et pour une lettre x ∈ X, « X\x » désigne l’ensemble des autres lettres de l’alphabet. De même, nous considérons que « X\x » est une e.r., abréviation de « {y}∪{z}… ».Nous avons finalement décidé qu’il serait préférable d’utiliser en tant qu’argument le nom de la macro avec la controblique.