U+22B5, ⊵
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO

[U+22B4]
Mathematical Operators
[U+22B6]