On 2024-08-09 19:38:48 +1000, John Gardner wrote: > Hi Vincent, > > > I really see a "+" underlined > > Is it visually distinct from an ordinary underscore? I merely ask now out > of curiosity, as Brandan explained why overstriking is a no-go. The underline bar is slightly different from an underscore, but this is not the issue. What matters is that the underlined "+" is very different from the ± character: in this ± character, the "+" part and the "-" part have the same width, but in the underlined "+", the underline bar is larger than the "+"; moreover, the underline bar is below the baseline. -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
