Latex doc Unicode fix. Closes #8021

- Unicode code points have to be specified in UPPERCASE for pdflatex
- Also includes missing declaration for U+2262 (\not\equiv)