mailing-list for TeXmacs Users

[Kostas Oikonomou <address@hidden>]

Hi Miguel,

Thanks for the clarifying this.  However, it still seems un-natural to me to have to modify the _expression_ inside the delimiters, instead of modifying the delimiters themselves.

On the other hand, I found that at least in 1.0.7.21, you can still use delimiters of specified sizes.  Perhaps that's an undocumented feature, but it's very welcome, and I suggest that it be "officialized".  To do it, you disable "Enforce brackets to match", and then if you type, e.g. \left, return, (, tab, 2, return, you get a left parenthesis of size 2.  [Sometimes, for reasons I don't understand, you may have to type \left, return, tab, fill in the 2, then fill in the (, and then return, to make it work.]

Anyhow, I find this very useful, it matches the LaTex usage, and I'm wondering why it was officially removed/deemphasized.

                                    Kostas

On 01/28/2014 04:49, Miguel de Benito Delgado wrote:

Hi Kostas,

  it's quite obviously a bit late for this answer, and you'll probably have found out for yourself but I just saw your message. "Resize the _expression_ between them" means use the items in the menu Format->Adjust. For instace, if you have a parentheses around a big sigma or integral with a subindex, you may "smash" the subindex (resizes the box to that of an "x") in order to reduce the size of the brackets. You can read more about it if you search for "Mathematical typesetting" in the docs.

Best,

--
Miguel de  Benito.

On Sun, Apr 7, 2013 at 1:16 AM, Kostas Oikonomou <address@hidden> wrote:
Hi,

I find that in TeXmacs 1.0.7.19, commands such as \left-return-(-tab-2, which used to insert a left parenthesis of size 2,
i.e. somewhat larger than normal, no longer work.  The only thing you have now is either fixed sizes for delimiters, or
self-adjusting delimiters, and the self-adjusting ones are sometimes too large.  What happened to these commands for
inserting delimiters of a specific size?

Under section "Typing Large Delimiters" of the manual it says that to get large delimiters of a particular size you can "resize
the _expression_ between them".  I don't understand how this is supposed to work.

                            Kostas