>«*» замещает «×»

Не замещает. Это по смыслуразные знаки. То, что в программировании, из-за убогости аски, используется звёздочка, не означает что это правильно.

> Есть составные символы «!=» это «≠», «<=» это «≤». За них также должна отвечать среда.

Никто ничего не должен. Для оформления текстов в любом редакторе нужна именно раскладка. Это юниксвей.

> или шрифт

А за это надо руки отрывать без наркоза.

>«≤»

Не забываем знак «⩽», который выглядит более логично.

> К тому же введение символа «≠» создаёт сложности в ЯП т.к. очень часто для сравнения используется «==». Кстати символ «≡» попадает в туже ловушку.

Это проблема синтаксисов ЯП. Там вообще давно просится юникод для унификации логических операций с матлогикой.