TeX source:
Λ ∈ L