Fix the Unicode encoding of Rightarrow

Author: lynx

Related issue: 12411.
https://www.lyx.org/trac/ticket/12411

diff --git a/lib/symbols b/lib/symbols
index 8e22f481957f107dacda15596f034e3810a8a836..f56c038fc4a1e4fcdb392ad394d4ab8d5593fa4b 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -384,7 +384,7 @@ nwarrow            cmsy         45   0 mathrel  ↖         ↖
 swarrow            cmsy         46   0 mathrel  ↙         ↙
 Leftrightarrow     cmsy         44 219 mathrel  ↔          ↔
 Leftarrow          cmsy         40 220 mathrel  ⇐          ⇐
-Rightarrow         cmsy         41 222 mathrel  ⇒          ȝ
+Rightarrow         cmsy         41 222 mathrel  ⇒          ⇒
 le                 cmsy        183 163 mathrel  ≤            ≤
 ge                 cmsy        184 179 mathrel  ≥            ≥
 succ               cmsy        194   0 mathrel  ≻            ≻