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 <pry...@telsasoft.com> napsal: > Rebased before Julian asks. >
