Delimitatori grandi

I delimitatori grandi vengono creati utilizzando delle combinazioni di tasti come mostrato qui di seguito:

Combinazione Risultato Combinazione Risultato
A-( ( A-) )
A-[ [ A-] ]
A-{ { A-} }
A-< langle A-> rangle
A-/ / A-\ \

Tabella 1. Combinazioni di tasti per ottenere i delimitatori grandi.

In TeXmacs, i delimitatori grandi possono essere di tre tipi: “delimitatori a sinistra”, “delimitatori a destra” o “delimitatori interni”. In generale, le parentesi aperte (,[,{ e ⟨ sono i delimitatori a sinistra, le parentesi chiuse ),],} e ⟩ sono i delimitatori a destra mentre |,/ e \ sono i delimitatori interni. Ma questo stato può essere modificato utilizzando le combinazioni di tasti A-l, A-r e A-m . Per esempio, A-l ) produce ) considerata come delimitatore a sinistra.

In TeX e LaTeX, i “delimitatori interni” o “separatori” non esistono; in TeXmacs sono utilizzati per produrre delle barre verticali in alcune formule simili alla seguente

langle
a
b + c
|
p
q + r
|
a
b + c
rangle.

Tra un delimitatore a sinistra e uno a destra ci possono essere tanti delimitatori interni quanti se ne vogliono.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".