If you combine these two naming schemes in the same syntax, of course it will be...

hirrolot on July 9, 2023 | parent | context | favorite | on: How to keep lambda calculus simple

If you combine these two naming schemes in the same syntax, of course it will be ambiguous. In the examples of the K combinator, they don't clash with each other though, as those are different examples.