Le 15/04/2019 à 16:08, Enrico Forestieri a écrit :
On Mon, Apr 15, 2019 at 12:16:26PM +0200, Jean-Marc Lasgouttes wrote:
OK, it was just a suggestion. More important would be to have new bindings
that use the feature. I guess one candidate is
-- > \longrightarrow
Another interesting feature made possible by this patch is the
following one:
( * \bigl(
\bigl( * \Bigl(
\Bigl( * \biggl(
\biggl( * \Biggl(
\Biggl( * (
This will let you type ( and then, by repeteadly hitting *, cycle
through all fixed sizes of the delimiter. Of course, there should
be a matching definition for ) and all other delimiters.
Indeed. It would be nice to use <space> for that, like to extend a space.
I wonder though: isn't this already possible with current code?
I find the use of space a bit inconsistent in general in mathed. And I
would often prefer them to do nothing than exit the current cell.
JMarc