diff options
| -rw-r--r-- | src/encoding.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/encoding.c b/src/encoding.c index da1b355..19570d3 100644 --- a/src/encoding.c +++ b/src/encoding.c @@ -943,7 +943,7 @@ utf8_isdouble(int c) { 0x2190, 0x2199 }, { 0x21B8, 0x21B9 }, { 0x21D2, 0x21D2 }, { 0x21D4, 0x21D4 }, { 0x21E7, 0x21E7 }, { 0x2200, 0x2200 }, { 0x2202, 0x2203 }, { 0x2207, 0x2208 }, { 0x220B, 0x220B }, - { 0x220F, 0x220F }, { 0x2211, 0x2211 }, { 0x2215, 0x2215 }, + { 0x220F, 0x220F }, { 0x2211, 0x2212 }, { 0x2215, 0x2215 }, { 0x221A, 0x221A }, { 0x221D, 0x2220 }, { 0x2223, 0x2223 }, { 0x2225, 0x2225 }, { 0x2227, 0x222C }, { 0x222E, 0x222E }, { 0x2234, 0x2237 }, { 0x223C, 0x223D }, { 0x2248, 0x2248 }, |