![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
9 Oct
2020
9 Oct
'20
1:24 p.m.
On 10/9/20 5:10 PM, Wolfgang Schuster wrote:
Pablo Rodriguez schrieb am 09.10.2020 um 16:31:
[...] Which are the improvements to the command added by \do*argument?
You can add a space between both arguments. You version expects this
\startswith [...][...]
while the extended code allows this
\startswith [...] [...]
Many thanks for your explanation, Wolfgang. Pablo -- http://www.ousia.tk