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. -- Enrico
