Unicode Mathematical Operators

U+22D1

0x22D1

DOUBLE SUPERSET

double superset

page:278