commit 188dd74618e94a2df132346f2bedc73a421d852e
Author: Georg Baum <[email protected]>
Date: Sat Mar 8 10:59:43 2014 +0100
Add two missing unicodesymbols
diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index 999e2ea..80dbb36 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
#
