lambda and sets special symbols. # char redefined