Fixed doc/conf.py #17813

Fixed missing UnicodeCharacters doc/conf.py, see #17813 (cherry picked from commit f566f0d) ref #17814 remove patch copy-paste + artifacts from doc/conf.py (cherry picked from commit 6ba6d8d)
JuliaLang · Aug 11, 2016 · c573b7b · c573b7b
1 parent 7306033
commit c573b7b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -201,6 +201,7 @@
         \DeclareUnicodeCharacter{025B}{\ensuremath{\varepsilon}}
         \DeclareUnicodeCharacter{03B3}{\ensuremath{\gamma}}
         \DeclareUnicodeCharacter{03B8}{\ensuremath{\theta}}
+        \DeclareUnicodeCharacter{03BD}{\ensuremath{\nu}}
         \DeclareUnicodeCharacter{03C0}{\ensuremath{\pi}}
         \DeclareUnicodeCharacter{03C6}{\ensuremath{\varphi}}
         \DeclareUnicodeCharacter{1D34}{\ensuremath{^{\mathrm{H}}}}
@@ -213,6 +214,7 @@
         \DeclareUnicodeCharacter{2209}{\ensuremath{\notin}}
         \DeclareUnicodeCharacter{220C}{\ensuremath{\not\ni}}
         \DeclareUnicodeCharacter{2211}{\ensuremath{\sum}}
+        \DeclareUnicodeCharacter{2213}{\ensuremath{\mp}}
         \DeclareUnicodeCharacter{221A}{\ensuremath{\sqrt{}}}
         \DeclareUnicodeCharacter{221B}{\ensuremath{\sqrt[3]{}}}
         \DeclareUnicodeCharacter{222A}{\ensuremath{\cup}}