Here's a patch that could work. There's no unicode character that exactly
matches what most of us want, but this one seems unambiguous enough for me.

Philippe