That works. I hadn’t thought to check the available unicode characters. Thanks.
And FWIW, the web design on this site needs to change the text entry WYSIWYG to allow easier access to writing code 🙂
̱