Yes, totally agree. I do this so often that in trying to identify the symbols I have found this nice web page that lets you draw the symbol and it shows you similar Unicode characters.
e.g.
Note to others:
Be aware that when using other characters some are seen as variables and some as constants, e.g.
Also as I use SWI-Prolog on Windows, not all of the Unicode characters appear as expected so check that they will appear as needed before using in production code.
My favorite exploit of this is that a snowman will unify with a snowman.
?- =(☃,☃).
true.