On 15.11.25 12:26, Kieren MacMillan wrote:
Since both\tag a,b \tag (a,b) fail but \tag #’(a,b) doesn’t, I once again just make it consistent.
Ouf, comma as part of the identifier name, am I reading that correctly? That surely wouldn’t be best practice…
