Saisie de grands délimiteurs

Voici les raccourcis clavier pour les grands délimiteurs :

Dans TeXmacs, les grands délimiteurs sont répertoriés suivant trois catégories : les «délimiteurs ouvrants», les «délimiteurs fermants» et les «délimiteurs internes». Par défaut, (,[,{ et ⟨ sont des délimiteurs ouvrants, ),],} et ⟩ sont des délimiteurs fermants et |,/ et \ sont des délimiteurs internes. Mais ce statut peut être modifié avec A-l, A-r et A-m. Par exemple, A-l ) donne ), considéré comme un délimiteur ouvrant.

De manière générale, A-l transforme un délimiteur en délimiteur ouvrant, A-r en délimiteur fermant et A-m en délimiteur interne.

Dans TeX et LaTeX, les «délimiteurs internes», ou «séparateurs», n'existent pas ; dans TeXmacs, ils sont utilisés pour créer les barres verticales dans des formules telles que celle-ci :

Il peut y avoir autant de délimiteurs internes que l'on souhaite entre un délimiteur ouvrant et un délimiteur fermant.