list ⁡ ( ∈ | ) list ⁡ ( | ∈ )