summaryrefslogtreecommitdiff
path: root/regen/feature.pl
diff options
context:
space:
mode:
Diffstat (limited to 'regen/feature.pl')
-rwxr-xr-xregen/feature.pl10
1 files changed, 10 insertions, 0 deletions
diff --git a/regen/feature.pl b/regen/feature.pl
index e062d65acf..6b5272ec6e 100755
--- a/regen/feature.pl
+++ b/regen/feature.pl
@@ -902,6 +902,9 @@ The complete list of accepted paired delimiters as of Unicode 14.0 is:
⁅ ⁆ U+2045, U+2046 LEFT/RIGHT SQUARE BRACKET WITH QUILL
⁽ ⁾ U+207D, U+207E SUPERSCRIPT LEFT/RIGHT PARENTHESIS
₍ ₎ U+208D, U+208E SUBSCRIPT LEFT/RIGHT PARENTHESIS
+ ∈ ∋ U+2208, U+220B ELEMENT OF, CONTAINS AS MEMBER
+ ∉ ∌ U+2209, U+220C NOT AN ELEMENT OF, DOES NOT CONTAIN AS MEMBER
+ ∊ ∍ U+220A, U+220D SMALL ELEMENT OF, SMALL CONTAINS AS MEMBER
≤ ≥ U+2264, U+2265 LESS-THAN/GREATER-THAN OR EQUAL TO
≦ ≧ U+2266, U+2267 LESS-THAN/GREATER-THAN OVER EQUAL TO
≨ ≩ U+2268, U+2269 LESS-THAN/GREATER-THAN BUT NOT EQUAL TO
@@ -928,6 +931,13 @@ The complete list of accepted paired delimiters as of Unicode 14.0 is:
⋠ ⋡ U+22E0, U+22E1 DOES NOT PRECEDE/SUCCEED OR EQUAL
⋦ ⋧ U+22E6, U+22E7 LESS-THAN/GREATER-THAN BUT NOT EQUIVALENT TO
⋨ ⋩ U+22E8, U+22E9 PRECEDES/SUCCEEDS BUT NOT EQUIVALENT TO
+ ⋲ ⋺ U+22F2, U+22FA ELEMENT OF/CONTAINS WITH LONG HORIZONTAL STROKE
+ ⋳ ⋻ U+22F3, U+22FB ELEMENT OF/CONTAINS WITH VERTICAL BAR AT END OF
+ HORIZONTAL STROKE
+ ⋴ ⋼ U+22F4, U+22FC SMALL ELEMENT OF/CONTAINS WITH VERTICAL BAR AT
+ END OF HORIZONTAL STROKE
+ ⋶ ⋽ U+22F6, U+22FD ELEMENT OF/CONTAINS WITH OVERBAR
+ ⋷ ⋾ U+22F7, U+22FE SMALL ELEMENT OF/CONTAINS WITH OVERBAR
⌈ ⌉ U+2308, U+2309 LEFT/RIGHT CEILING
⌊ ⌋ U+230A, U+230B LEFT/RIGHT FLOOR
〈 〉 U+2329, U+232A LEFT/RIGHT-POINTING ANGLE BRACKET