Support very much greater/less than

This is bug #9612. The patch is from Günter Milde. He wrote:
The patch uses the "long" macro names (\llless and \gggtr) to minimize
name-clash probability. (There is, e.g., a name clash of \lll with Babel's
polish.ldf (cf. bug #6197))
This commit is contained in:
Georg Baum 2015-06-09 22:10:26 +02:00
parent 90a524a075
commit 0cd7d1f699

View File

@ -2309,8 +2309,8 @@
#0x22d5 "" "" "" "" "" # EQUAL AND PARALLEL TO #0x22d5 "" "" "" "" "" # EQUAL AND PARALLEL TO
#0x22d6 "" "" "" "" "" # LESS-THAN WITH DOT #0x22d6 "" "" "" "" "" # LESS-THAN WITH DOT
#0x22d7 "" "" "" "" "" # GREATER-THAN WITH DOT #0x22d7 "" "" "" "" "" # GREATER-THAN WITH DOT
#0x22d8 "" "" "" "" "" # VERY MUCH LESS-THAN 0x22d8 "" "" "" "\\llless" "amssymb" # VERY MUCH LESS-THAN
#0x22d9 "" "" "" "" "" # VERY MUCH GREATER-THAN 0x22d9 "" "" "" "\\gggtr" "amssymb" # VERY MUCH GREATER-THAN
#0x22da "" "" "" "" "" # LESS-THAN EQUAL TO OR GREATER-THAN #0x22da "" "" "" "" "" # LESS-THAN EQUAL TO OR GREATER-THAN
#0x22db "" "" "" "" "" # GREATER-THAN EQUAL TO OR LESS-THAN #0x22db "" "" "" "" "" # GREATER-THAN EQUAL TO OR LESS-THAN
#0x22dc "" "" "" "" "" # EQUAL TO OR LESS-THAN #0x22dc "" "" "" "" "" # EQUAL TO OR LESS-THAN