Not a member mathematical notation

Not a member is a recurring research-paper notation family. States that the object on the left does not belong to the set on the right.

Not a member: States that the object on the left does not belong to the set on the right. Example: Negative one is excluded from the stated natural-number set.