∈!:

RestrictedType

∈:

RestrictedType

∉:

RestrictedType