On 2021-09-25 12:46 am, Lukas-Fabian Moser wrote:
Aaron:
If the asterisk feels overloaded, you could use the multiplication
sign:
%%%%
\version "2.22.0"
× = % U+00D7
I'd advise against introducing non-ASCII commands. Users won't be
happy if they can't find on their keyboards what the documentation
instructs them to type.
I guess my sarcasm indicator got lost in shipment. What one should
have taken away from my post was that \x was the viable alternative to
\*, not the multiplication sign (which is ASCII, by the by; just not
commonly found on keyboard layouts).