Renamed lambda, name symbols