Hi Mark,
It seems a bit intrusive because I have never seen that notation before. While I do know the sqrt notation √, I can imagine this being a source of confusion/annoyance for some people.
Should these notations be instead suggested in the doc-string of lisp-prettify-symbols-alist? People interested to see these notations can then add that to their personal configs.
What do you think?