Why is it a problem if someone else’s code use ≤? Suppose you come across another package that uses ≤. Or someone who uses ≤ in example code for a post on discourse. How does that pose a practical difficulty for you?
The only problem that arises in my mind is if a newcomer doesn’t know that they can also type <=, i.e. if they see that example and think that they must type ≤. That could indeed be off-putting to some people! But it’s also a confusion that can be cleared up in a few seconds. (It’s not like ≤ is a symbol whose meaning is unfamiliar!)