Hi
I like this feature, but I don't like the introduction of double + too
much. I think it is confusing.
Is it really necessary? Cannot be enough just reorganization of \dn and
\dn+.
Regards
Pavel
pá 14. 1. 2022 v 17:35 odesílatel Justin Pryzby <pryzby(at)telsasoft(dot)com>
napsal:
> Rebased before Julian asks.
>