~ (Ψ ▼ ー ▼) ∈
~ (Ψ ▼ ー ▼) ∈

~ (Ψ ▼ ー ▼) ∈