Subject: mailing-list for TeXmacs Users
List archive
From : Norbert Nemec <address@hidden>- To: address@hidden
- Subject: Re: Why not make large brackets the default?
- Date: Thu, 7 Aug 2003 08:07:08 +0200
The question should not be: "How often is the algorithm incorrect" - which
might be 40% (from personal experience, I doubt that, but probably I'm not
that picky), but "How often do users actually manually resize the
parentheses" - which would probably be around 1% (or even less - I guess I'm
not the only one who never even thought about it...)
And without manual fine-tuning, the automatic parens are definitely the
better
choice.
Am Mittwoch, 6. August 2003 21:30 schrieb Alvaro Tejero Cantero:
> On mi? 2003-08-06 at 09:11, Norbert Nemec wrote:
> > Hi there,
> >
> > is there a specific reason why large brackets (parenthesis, braces, etc.)
> > in math mode need the Alt-key instead of just having them as the
> > default? IMO, there is little, if any reason to ever use the non-resizing
> > versions.
>
> Once Joris told me that sometimes the size is not correctly guessed so
> that manual fine-tuning is needed. The point is which usage is
> statistically dominant, and that depends on the resizing algorithm. If
> Joris is comfident that in say more than 60% of cases parentheses are
> adequately resized, I would second that resizable-by-default proposal
> (with the option to enter fixed-size delimiters, of course).
>
> > Ciao,
> > Nobbi
>
> cheers, álv.
--
______________________Norbert Nemec <address@hidden>
Universität Erlangen-Nürnberg, Germany
Institut für Theoretische Physik III
Staudtstr. 7 ... D-91058 Erlangen ... Room No. U1.526
Tel: +49 9131 / 85-28816 ... Mobile: +49 179 / 7475199
- Why not make large brackets the default?, Norbert Nemec, 08/06/2003
- Re: Why not make large brackets the default?, Alvaro Tejero Cantero, 08/06/2003
- Re: Why not make large brackets the default?, Norbert Nemec, 08/07/2003
- Re: Why not make large brackets the default?, Alvaro Tejero Cantero, 08/06/2003
Archive powered by MHonArc 2.6.19.