Ce qui suit est la description formelle de la syntaxe du pragma \define, par des diagrammes en chemin de fer. Une présentation simplifiée est aussi disponible.

espace représente une série d'espaces vierges.

Le nom de macro est une série de caractères sans espace, autres que ( ou >.

La liste de déclaration de paramètre (parametres) a la syntaxe suivante :

Le séparateur de paramètres (sep) est toute série de caractères différente d'un nom de paramètre (parametre.nom). Entre autre chose, cela comprend les virgules, les espaces et les sautsdeligne.

Un parametre.nom est une suite de lettres (A–Z, a–z), de chiffres (0–9), de tirets (-) de soulignés (_).

Chaque parametre a, respectivement, la syntaxe suivante :

La valeur par défaut d'un paramètre est spécifiée comme suit :

La définition de la suite se fait comme suit :

Si marque un saut de ligne.

Un code.extrait correspond à toute suite de caractère qui ne termine pas la définition de la macro. Ce qui veut dire qu'un extrait de code, s'il comporte une ligne unique, ne peut comporter de sautdeligne ou s'il occupe plusieurs lignes ne peut comporter de \end.

L'extrait de code peut contenir des ZoneRéservée en utilisant la syntaxe suivante: