mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] delimiters of specific sizes no longer work?


Chronological Thread 
  • From: Kostas Oikonomou <address@hidden>
  • To: Joris van der Hoeven <address@hidden>
  • Cc: TeXmacs <address@hidden>
  • Subject: Re: [TeXmacs] delimiters of specific sizes no longer work?
  • Date: Mon, 24 Feb 2014 19:44:01 -0500

Hi Joris,

Thanks for responding.

First, the explicit sizes are no longer documented in the manual.
Instead, in sec. 3.4 the manual says that if you want delimiters of of a
particular size, use Format -> Transform -> Resize object to resize the
expression. Resizing the expression does not make any sense to me.

Second, there seems to be some (unwanted) interaction with other
features. For example, if you disable matching delimiters, type an
expression with \left|(|1 ... \right|)|1, i.e. parentheses of size 1, if
you copy and paste this expression somewhere else, the parenthesis size
may change. I say "may", not "will", because I haven't exactly isolated
the conditions under which this happens.

Anyhow, I consider delimiters of specified sizes a very important
feature, and I'd like to see it preserved.
How would MathML-style delimiters work?

Kostas

On 02/24/2014 17:01, Joris van der Hoeven wrote:
> Hi Kostas,
>
> In principle, support for brackets with explicit sizes did not change
> as far as I am aware of; otherwise, this is a bug. For the moment,
> I do not recommend or discourage the use of this feature.
> In the future, I plan to fully support MathML-style brackets,
> and the interface should evolve in that direction.
>
> Best wishes, --Joris
>
>
> On Wed, Jan 29, 2014 at 10:08:03AM -0500, Kostas Oikonomou wrote:
>> Yes, the "2" doesn't have units. I don't know the exact meaning of it,
>> but the idea it's similar to Latex's
>> \big, \Big, \bigg, etc. Some pre-determined, fixed sizes.
>>
>> On 01/29/2014 02:08, Miguel de Benito Delgado wrote:
>>> Hi,
>>>
>>> On Tue, Jan 28, 2014 at 3:24 PM, Kostas Oikonomou <address@hidden
>>> <mailto:address@hidden>> wrote:
>>>
>>> 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.]
>>>
>>>
>>> Maybe Joris can comment on the rationale behind these things / whether
>>> this is deprecated or simply not visibly documented?
>>>
>>> [And: what is "size 2" without units? That's weird! Shouldn't that be
>>> something like "2fn"? (search for "TeXmacs units" in the docs)]
>>> --
>>> Miguel de Benito.




Archive powered by MHonArc 2.6.19.

Top of page