[ - Collapse All ]
λ  

λ, Λ: ↑ Lambda .
[Λ]
Λ  

Λ, λ = Lambda
[λ]
λ  

λ, Λ: ↑ Lambda.
[Λ]