⊴
NORMAL SUBGROUP OF OR EQUAL TO
Unicode
U+22B4
HTML
⊴
< See All Characters