But if he was, it would be OK, no?
Ligatures and substitutions are display only.
I can setup my ide to display how I want it to display code. It affects no one else.
Why should any manager dictate that to me? I'd not be working for someone like that. Feels that it would be someone on a huger power trip.
Imagine dictating what font your Devs have to use... That would be mental.