Remove pretty symbols λ, ƒ and ∈