View details and encodings for Unicode character U+22F7 Small Element Of With Overbar, located in the Mathematical Operators block and Math Symbol category. This character was released in 2002 under Unicode version 3.2.
⋷⋷⋷U+22F7;8951\0022F7\u22F7\x{22F7}\u{22F7}u'\u22F7'