Typing large delimiters

Large delimiters are created as follows:

In TeXmacs, large delimiters may either be “left delimiters”, “right delimiters” or “middle delimiters”. By default, (,[,{ and ⟨ are left delimiters, ),],} and ⟩ are right delimiters and |,/ and \ are middle delimiters. But there status can be changed using the A-l, A-r and A-m key combinations. For instance, A-l ) produces ), considered as a large left delimiter.

In TeX and LaTeX, “middle delimiters”, or “separators” do not exist; they are used for producing the vertical bars in formulas like

There may be as many middle delimiters between a left and a right delimiter as one wishes.

Sometimes you may want large delimiters of a particular size, instead of self-adjusting ones. This can be achieved by specifying a value for the optional second argument of the left, mid and right tags. For instance, typing left A-right ( A-right size return allows you to type a left bracket of a given size. Brackets for sizes 1, 2, 3, 4 and 5mm are displayed below:

When specifying an additional third argument, the second and third arguments correspond to the heights of the lower and upper limit of the bracket. This allows you to type the following kind of brackets: