From 188dd74618e94a2df132346f2bedc73a421d852e Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Sat, 8 Mar 2014 10:59:43 +0100 Subject: [PATCH] Add two missing unicodesymbols --- lib/unicodesymbols | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/unicodesymbols b/lib/unicodesymbols index 999e2ea618..80dbb3698c 100644 --- a/lib/unicodesymbols +++ b/lib/unicodesymbols @@ -2597,6 +2597,8 @@ #0x2a1a "" "" "" "" "" # INTEGRAL WITH UNION #0x2a1b "" "" "" "" "" # INTEGRAL WITH OVERBAR #0x2a1c "" "" "" "" "" # INTEGRAL WITH UNDERBAR +0x2a7d "" "" "" "\\leqslant" "amssymb" # LESS-THAN OR SLANTED EQUAL TO +0x2a7e "" "" "" "\\geqslant" "amssymb" # GREATER-THAN OR SLANTED EQUAL TO # # Modifier tone letters # -- 2.39.5