> On 18 Jul 2024, at 07:18, Tom Lane <t...@sss.pgh.pa.us> wrote: > Yeah. I've found this new feature useful multiple times already, > but the '#' icon is as non-mnemonic and unobvious as could possibly > be. OTOH, I don't know of a standard icon for this feature.
While not a standard the pilcrow [0] is, AFAICT from a bit of looking at other docs, commonly used for this. There is a lot of variability though so whichever we choose it will be wrong one for someone. -- Daniel Gustafsson [0] https://en.wikipedia.org/wiki/Pilcrow
