|
|
@@ -740,7 +740,7 @@ static uint32_t flipchar(uint32_t ch) |
|
|
|
0x230a, 0x230b, /* ⌊ ⌋ */ |
|
|
|
0x230c, 0x230d, /* ⌌ ⌍ */ |
|
|
|
0x230e, 0x230f, /* ⌎ ⌏ */ |
|
|
|
0x231c, 0x231d, /* ⌜ ⌝ */ |
|
|
|
0x231c, 0x231d, /* ⌜ ⌝ */ |
|
|
|
0x231e, 0x231f, /* ⌞ ⌟ */ |
|
|
|
0x2326, 0x232b, /* ⌦ ⌫ */ |
|
|
|
0x2329, 0x232a, /* 〈 〉 */ |
|
|
|