Bag membership symbol from the Z specification language, an element-of shape used for multiset membership in formal methods.
U+22FESMALL CONTAINS WITH OVERBARU+22FDCONTAINS WITH OVERBARU+22FCSMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKEU+22FBCONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKEU+22FACONTAINS WITH LONG HORIZONTAL STROKEU+22F9ELEMENT OF WITH TWO HORIZONTAL STROKESU+22F8ELEMENT OF WITH UNDERBARU+22F7SMALL ELEMENT OF WITH OVERBARU+22F6ELEMENT OF WITH OVERBARU+22F5ELEMENT OF WITH DOT ABOVEU+22F4SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKEU+22F3ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE256 characters in the Mathematical Operators Unicode block, from number 256.