Ahmost

I have been using Evernote for quite some time now and finally upgraded to Premium. I regularly make use of (predicate logic) symbols to keep sentences short and neat in planners and notes in general. Most alt codes work just fine (e.g. →; ^; ¬; ≡; ±). However, for some reason one that I would like to use very much is the not equal to symbol (i.e. ≠). I know that the symbol is (stritcly) Unicode, but Evernote is capable of handling the character, as I can copy/paste it just fine. I feel that it shouldn't be necessary to do this. Am I overlooking something? Vale, Thomas