\rightarrow missing?

\rightarrow missing?

[Jesse Alama]

It seems that \rightarrow is missing.  The command exists, in the sense
that its use doesn't lead to an error, but it doesn't lead to anything
in the output.  Minimal example:

\starttext
$\rightarrow$
\stoptext

Jesse

-- 
Jesse Alama (alama@stanford.edu)

___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Aditya Mahajan]

On Mon, 30 Mar 2009, Jesse Alama wrote:

> It seems that \rightarrow is missing.  The command exists, in the sense
> that its use doesn't lead to an error, but it doesn't lead to anything
> in the output.  Minimal example:
>
> \starttext
> $\rightarrow$
> \stoptext

Hans,

What does the new arrow function in math-vfu.lua supposed to do?

Aditya
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Hans Hagen]

Aditya Mahajan wrote:
> On Mon, 30 Mar 2009, Jesse Alama wrote:
> 
>> It seems that \rightarrow is missing.  The command exists, in the sense
>> that its use doesn't lead to an error, but it doesn't lead to anything
>> in the output.  Minimal example:
>>
>> \starttext
>> $\rightarrow$
>> \stoptext
> 
> Hans,
> 
> What does the new arrow function in math-vfu.lua supposed to do?

it will be used instead of the macro based one (as luatex has native 
support for such extenders now) but i had to wait till you fixed all the 
other arrows that you added someplace

Hans

-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                              | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Alan BRASLAU]

Indeed, it seems to be broken in mkiv
\rightarrow
\to
\leftarrow
...

However, \leftrightarrow works.

So, currently, it is hard to typeset limits under mkiv!

Alan


On Tuesday 31 March 2009 09:14:16 Hans Hagen wrote:
> Aditya Mahajan wrote:
> > On Mon, 30 Mar 2009, Jesse Alama wrote:
> >> It seems that \rightarrow is missing.  The command exists, in the sense
> >> that its use doesn't lead to an error, but it doesn't lead to anything
> >> in the output.  Minimal example:
> >>
> >> \starttext
> >> $\rightarrow$
> >> \stoptext
> >
> > Hans,
> >
> > What does the new arrow function in math-vfu.lua supposed to do?
>
> it will be used instead of the macro based one (as luatex has native
> support for such extenders now) but i had to wait till you fixed all the
> other arrows that you added someplace
>
> Hans

___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Aditya Mahajan]

On Thu, 9 Apr 2009, Alan BRASLAU wrote:

> Indeed, it seems to be broken in mkiv
> \rightarrow
> \to
> \leftarrow

Hans, this has to do with the arrow function in math-vfu. Do you know why 
this is failing?

Aditya
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Jesse Alama]

I switched from MkIV to MkII today because of this gap in MkIV's math:
I need to submit a dissertation that has \rightarrow's in it.  Let's
hope that this issue is resolved soon.

Jesse

Alan BRASLAU <alan.braslau@cea.fr> writes:

> Indeed, it seems to be broken in mkiv
> \rightarrow
> \to
> \leftarrow
> ...
>
> However, \leftrightarrow works.
>
> So, currently, it is hard to typeset limits under mkiv!
>
> Alan
>
>
> On Tuesday 31 March 2009 09:14:16 Hans Hagen wrote:
>> Aditya Mahajan wrote:
>> > On Mon, 30 Mar 2009, Jesse Alama wrote:
>> >> It seems that \rightarrow is missing.  The command exists, in the sense
>> >> that its use doesn't lead to an error, but it doesn't lead to anything
>> >> in the output.  Minimal example:
>> >>
>> >> \starttext
>> >> $\rightarrow$
>> >> \stoptext
>> >
>> > Hans,
>> >
>> > What does the new arrow function in math-vfu.lua supposed to do?
>>
>> it will be used instead of the macro based one (as luatex has native
>> support for such extenders now) but i had to wait till you fixed all the
>> other arrows that you added someplace
>>
>> Hans
>
> ___________________________________________________________________________________
> 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  : https://foundry.supelec.fr/projects/contextrev/
> wiki     : http://contextgarden.net
> ___________________________________________________________________________________
>

-- 
Jesse Alama (alama@stanford.edu)

___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Hans Hagen]

Jesse Alama wrote:
> I switched from MkIV to MkII today because of this gap in MkIV's math:
> I need to submit a dissertation that has \rightarrow's in it.  Let's
> hope that this issue is resolved soon.
> 
> Jesse
> 
> Alan BRASLAU <alan.braslau@cea.fr> writes:
> 
>> Indeed, it seems to be broken in mkiv
>> \rightarrow
>> \to
>> \leftarrow
>> ...
>>
>> However, \leftrightarrow works.
>>
>> So, currently, it is hard to typeset limits under mkiv!
>>
>> Alan
>>
>>
>> On Tuesday 31 March 2009 09:14:16 Hans Hagen wrote:
>>> Aditya Mahajan wrote:
>>>> On Mon, 30 Mar 2009, Jesse Alama wrote:
>>>>> It seems that \rightarrow is missing.  The command exists, in the sense
>>>>> that its use doesn't lead to an error, but it doesn't lead to anything
>>>>> in the output.  Minimal example:
>>>>>
>>>>> \starttext
>>>>> $\rightarrow$
>>>>> \stoptext
>>>> Hans,
>>>>
>>>> What does the new arrow function in math-vfu.lua supposed to do?
>>> it will be used instead of the macro based one (as luatex has native
>>> support for such extenders now) but i had to wait till you fixed all the
>>> other arrows that you added someplace

in math-vfu, patch:

--~     main.characters[unicode] = { horiz_variants = t }
     main.characters[unicode].horiz_variants = t

and

[0x02190] = 0x20, -- leftarrow
[0x02192] = 0x21, -- rightarrow
--~ [0xFE190] = 0x20, -- leftarrow
--~ [0xFE192] = 0x21, -- rightarrow

and remake the format

luatex has native support for extensible arrows and since lm lacks them 
we need to construct them

Hans

-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                              | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Alan BRASLAU]

On Friday 10 April 2009 09:19:44 Hans Hagen wrote:
> Jesse Alama wrote:
> > I switched from MkIV to MkII today because of this gap in MkIV's math:
> > I need to submit a dissertation that has \rightarrow's in it.  Let's
> > hope that this issue is resolved soon.
> >
> > Jesse
> >
> > Alan BRASLAU <alan.braslau@cea.fr> writes:
> >> Indeed, it seems to be broken in mkiv
> >> \rightarrow
> >> \to
> >> \leftarrow
> >> ...
> >>
> >> However, \leftrightarrow works.
> >>
> >> So, currently, it is hard to typeset limits under mkiv!
> >>
> >> Alan
> >>
> >> On Tuesday 31 March 2009 09:14:16 Hans Hagen wrote:
> >>> Aditya Mahajan wrote:
> >>>> On Mon, 30 Mar 2009, Jesse Alama wrote:
> >>>>> It seems that \rightarrow is missing.  The command exists, in the
> >>>>> sense that its use doesn't lead to an error, but it doesn't lead to
> >>>>> anything in the output.  Minimal example:
> >>>>>
> >>>>> \starttext
> >>>>> $\rightarrow$
> >>>>> \stoptext
> >>>>
> >>>> Hans,
> >>>>
> >>>> What does the new arrow function in math-vfu.lua supposed to do?
> >>>
> >>> it will be used instead of the macro based one (as luatex has native
> >>> support for such extenders now) but i had to wait till you fixed all
> >>> the other arrows that you added someplace
>
> in math-vfu, patch:
>
> --~     main.characters[unicode] = { horiz_variants = t }
>      main.characters[unicode].horiz_variants = t
>
> and
>
> [0x02190] = 0x20, -- leftarrow
> [0x02192] = 0x21, -- rightarrow
> --~ [0xFE190] = 0x20, -- leftarrow
> --~ [0xFE192] = 0x21, -- rightarrow
>
> and remake the format
>
> luatex has native support for extensible arrows and since lm lacks them
> we need to construct them
>
> Hans

Works. Fantastic!

Alan

___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Aditya Mahajan]

On Fri, 10 Apr 2009, Hans Hagen wrote:

> in math-vfu, patch:
>
> --~     main.characters[unicode] = { horiz_variants = t }
>    main.characters[unicode].horiz_variants = t
>
> and
>
> [0x02190] = 0x20, -- leftarrow
> [0x02192] = 0x21, -- rightarrow
> --~ [0xFE190] = 0x20, -- leftarrow
> --~ [0xFE192] = 0x21, -- rightarrow
>
> and remake the format
>
> luatex has native support for extensible arrows and since lm lacks them we 
> need to construct them

How do we "extend" these arrows? Traditionally, amstex uses \x...arrow 
commands for extensible arrows, and \...arrow things are fixed.

Aditya
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Mohamed Bana]

[-- Attachment #1: Type: text/plain, Size: 3636 bytes --]

excuse me if this has already been fixed.

    $ pdfinfo test1.pdf

    Creator:        ConTeXt - 2009.03.23 10:57
    Producer:       LuaTeX-0.36.0
    CreationDate:   Fri Apr 10 18:10:34 2009
    ModDate:        ConTeXt - 2009.03.23 10:57


\implies doesn't work
                               
! Undefined control sequence.
<recently read> \implies
                        
l.11 $\implies
              $
?

                                                        
*I* think \Rightarrow should be exchanged for \implies, as \implies 
generates a slightly longer arrow.

    $ pdfinfo test2.pdf

    Creator:        ConTeXt - 2009.03.23 10:57
    Producer:       pdfTeX-1.40.9
    CreationDate:   Fri Apr 10 18:11:36 2009
    ModDate:        Fri Apr 10 00:00:00 2009


%%% the file %%%

\starttext                                                                               

$\rightarrow$                                                                            

                                                                                         

$\to$                                                                                    

                                                                                         

$\leftarrow$                                                                             

                                                                                         

$\leftrightarrow$                                                                        

                                                                                         

$\implies$                                                                               

                                                                                         

$\Rightarrow$                                                                            

\stoptext  

Jesse Alama wrote:
> I switched from MkIV to MkII today because of this gap in MkIV's math:
> I need to submit a dissertation that has \rightarrow's in it.  Let's
> hope that this issue is resolved soon.
>
> Jesse
>
> Alan BRASLAU <alan.braslau@cea.fr> writes:
>
>   
>> Indeed, it seems to be broken in mkiv
>> \rightarrow
>> \to
>> \leftarrow
>> ...
>>
>> However, \leftrightarrow works.
>>
>> So, currently, it is hard to typeset limits under mkiv!
>>
>> Alan
>>
>>
>> On Tuesday 31 March 2009 09:14:16 Hans Hagen wrote:
>>     
>>> Aditya Mahajan wrote:
>>>       
>>>> On Mon, 30 Mar 2009, Jesse Alama wrote:
>>>>         
>>>>> It seems that \rightarrow is missing.  The command exists, in the sense
>>>>> that its use doesn't lead to an error, but it doesn't lead to anything
>>>>> in the output.  Minimal example:
>>>>>
>>>>> \starttext
>>>>> $\rightarrow$
>>>>> \stoptext
>>>>>           
>>>> Hans,
>>>>
>>>> What does the new arrow function in math-vfu.lua supposed to do?
>>>>         
>>> it will be used instead of the macro based one (as luatex has native
>>> support for such extenders now) but i had to wait till you fixed all the
>>> other arrows that you added someplace
>>>
>>> Hans
>>>       
>> ___________________________________________________________________________________
>> 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  : https://foundry.supelec.fr/projects/contextrev/
>> wiki     : http://contextgarden.net
>> ___________________________________________________________________________________
>>
>>     
>
>   

[-- Attachment #2: test1.pdf --]
[-- Type: application/pdf, Size: 6363 bytes --]

[-- Attachment #3: test2.pdf --]
[-- Type: application/pdf, Size: 25223 bytes --]

[-- Attachment #4: Type: text/plain, Size: 487 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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Re: \rightarrow missing?

[Aditya Mahajan]

On Fri, 10 Apr 2009, Mohamed Bana wrote:

> excuse me if this has already been fixed.
>
>   $ pdfinfo test1.pdf
>
>   Creator:        ConTeXt - 2009.03.23 10:57
>   Producer:       LuaTeX-0.36.0
>   CreationDate:   Fri Apr 10 18:10:34 2009
>   ModDate:        ConTeXt - 2009.03.23 10:57
>
>
> \implies doesn't work
>                              ! Undefined control sequence.
> <recently read> \implies
>                       l.11 $\implies
>             $

Currently, \implies, \iff, and \impliedby are not mapped. We need a 
cleaner model to map symbols with spaces.

>                                                       *I* think \Rightarrow 
> should be exchanged for \implies, as \implies generates a slightly longer 
> arrow.

\implies is usually defined as \;\Rightarrow\; so the size of the arrow 
should be the same.

Aditya
___________________________________________________________________________________
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  : https://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________