Unicode Mathematical Operators

U+22AB

0x22AB

DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE

double vertical bar double right turnstile

page:277