fixed safari layout problem and inserted lambda symbol