Re: mkiv math delimiters and <|>

[Aditya Mahajan <adityam@umich.edu>]

[-- Attachment #1.1: Type: text/plain, Size: 1405 bytes --]

On Fri, Nov 13, 2009 at 4:03 AM, Mojca Miklavec <
mojca.miklavec.lists@gmail.com> wrote:

> Hello,
>
> I have tried to compile an old document (written in mkii times). Among
> other problems that I yet need to isolate, the following minimal
> example doesn't want to compile: $\bigl| x \bigr>$ since <|> aren't
> recognized as candidates for delimiters. There is a workaround of
> course (using \langle, \rangle, ... instead of <>), but the three
> characters are just way too handy to use.
>

| works fine here. < and > don't. I did not know that \left< is equivalent
to \left\langle even in plain tex.

I suppose that the behaviour in mkii comes from these lines:
>
> \definemathcharacter [<]   [nothing] [sy] ["68] [ex] ["0A]
> \definemathcharacter [>]   [nothing] [sy] ["69] [ex] ["0B]
>

I guess mkii is imitating plain tex here. (Though, I could not find how this
is happening in plain tex)


> But I'm not sure where mkiv could be changed.
>

I don't know how to do this. < should behave like a rel without a \left, and
like a delimited with \left.


> I have tried to use
>  adobename="greater",
>  ...
>  mathspec={
>   { class="binary", name="gt" },
>   { class="close", name="rbrace" },
>  },
> but without any success.
>

rbrace!!. Probabably you want rangle. You can change the order of the two,
and then > will map to rangle, but you will have to use \gt to get the
relation symbol.

Aditya

[-- Attachment #1.2: Type: text/html, Size: 2337 bytes --]

[-- Attachment #2: Type: text/plain, Size: 486 bytes --]

___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________