[luatex] Proposal for extensible arrows

[Hans Hagen]

On 2/13/2016 1:51 PM, Will Robertson wrote:
> Hi all,
>
> Some recent discussions about unicode mathematics and so on brought up the following issue. I thought it might be good to raise here in case it sparks anything. If not, no harm done :)
>
> In the current unicode/OpenType maths support in XeTeX and LuaTeX, with proper setup of \Udelcode and so on it’s possible to produce vertical extensible arrows for use with \left and \right; using \Umathaccent extensible horizontal arrow accents can be produced:
>
> \documentclass{article}
> \usepackage{unicode-math}
> \setmainfont{xits-math.otf}
> \begin{document}
> x$\overleftarrow{\hspace*{3cm}}$x
>
> x$\displaystyle
> \left\Uparrow\vrule height 3cm width 0pt\right.
> $x
> \end{document}
>
> But this does not cover the entire range of how extensible arrows are used, with LaTeX/amsmamth defining \leftarrowfill and \xleftarrow, for example. These are defined with the typical TeX macro approach of gluing small pieces of the arrow together with \cleaders, etc. In several ways, it would be preferable to avoid this approach and have the engine construct the extensible arrow directly.
>
> As such, I think there is scope for a new primitive or two to the extended mathematics support:
>
>      \Uhextensor <char> <length/glue>
>      \Uvextensor <char> <length/glue>
>
> (or whatever csnames).

we already have Uhextensible (and a whole bunch of extras) ... it all 
depends on what the font provides; the gyre fonts do have extensible 
arrows already

(It is unlikely that the math engine will be touched much, at least nto 
before 0.95. Quite some code was overhauled - a better split between old 
and new font as well as some detailed control over extensibles, 
delimiters etc. - some was added for completeness even if it could be 
done otherwise. An upcoming TB article will explain/show some.)

Hans


-----------------------------------------------------------------
                                           Hans Hagen | PRAGMA ADE
               Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
       tel: 038 477 53 69 | www.pragma-ade.com | www.pragma-pod.nl
-----------------------------------------------------------------