On Fri, Jan 20, 2023 at 11:01:03PM +0100, Arsen Arsenović wrote: > >> What's the idiomatic way to make such an alias? Is there any currently? > > > > I don't know if this counts as idiomatic or recommended, just that there > > doesn't seem to be any other better way of doing it. > > This seems to work like a charm, so as long as it's not exploiting some > bug/UB, it should be fine.
No, it is not undefined behaviour or a bug. > BTW, I noticed that here, like with @ftable's @itemx, each "alternative" > becomes a separate index target, at least in HTML and Info. I'm > thinking of implementing a transform that "bubbles" @\([-a-zA-Z]\)*x > indices to their respective @\1, do you think these should get the same > transform? I don't know about the details but it would make sense for an entire @item/@itemx block to have the same target.