I agree with your point of view. In addition, #%plain-lambda is the lambda in the kernel. If we define #%plain-λ as the λ in the kernel, we may have a similar trouble: Renaming mechanism for Unicode `λ` in Racket
I agree with your point of view. In addition, #%plain-lambda is the lambda in the kernel. If we define #%plain-λ as the λ in the kernel, we may have a similar trouble: Renaming mechanism for Unicode `λ` in Racket