9 ms·
<= and => seem to produce two completely different types of ligatures, unfortunately. No cool ligatures for << and >>. Edit, I see there is a proper greater th
by dole 7y ago
<= and => seem to produce two completely different types of ligatures, unfortunately. No cool ligatures for << and >>.
Edit, I see there is a proper greater than or equal to ligature, but it defaults to an arrow when => is typed. Not sure how to key the other.