On Fri, May 20, 2022, at 7:01 PM, Lawrence Velázquez wrote: > On Fri, May 20, 2022, at 2:06 PM, Therese Godefroy via RT wrote: >> I'm going to tell him there is no guarantee that this can be changed. >> For one thing, it would be difficult to find a letter that doesn't >> take an unwanted meaning when associated with "word". > > Perhaps something like "num" or "fd" could be used
Or even "fdnum", to stretch the comparison with "varname" to its breaking point. -- vq
