Unicode Mathematical Operators

U+22F3

0x22F3

ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE

element of with vertical bar at end of horizontal stroke

page:279