From 710fb50118b83b7b34de184c48389f4eb3145654 Mon Sep 17 00:00:00 2001 From: Thibaut Cuvelier Date: Fri, 29 Oct 2021 21:29:11 +0200 Subject: [PATCH] Fix the Unicode encoding of Rightarrow Author: lynx Related issue: 12411. https://www.lyx.org/trac/ticket/12411 --- lib/symbols | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/symbols b/lib/symbols index 8e22f48195..f56c038fc4 100644 --- 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 ≻ ≻ -- 2.39.2