BTW, if you really like fancy characters in names....
# language-proposals
d
BTW, if you really like fancy characters in names... you don't need to backtick Java letters 🙂