Agreed, I don't get the ligature craze recently. They look ugly, and sometimes, they don't accurately reflect an operation most of the time, for instance when you use operator overloading.

PragmataPro does come without ligatures though, and that's what I've been using as my main font for over a year now.

I only see them on Fira Code, Hasklig. Oh, Monoid too.

For ligature fans: https://www.hanselman.com/blog/MonospacedProgrammingFontsWit...

Modern languages should simply support the actual characters, e.g. ≤ ≠ ≥ ← → etc.