You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
.. and have a >= to ≥ conversion too, while we're at it :).
I'm not going to ask you to remove the existing version, since I assume you added it because it fits your use-case best. However, the inequality cases actually show up in my code, whereas there is no context where ⇐ actually means something. So that's why I'd rather have a version with inequality ligatures.
The text was updated successfully, but these errors were encountered:
.. and have a
>=
to ≥ conversion too, while we're at it :).I'm not going to ask you to remove the existing version, since I assume you added it because it fits your use-case best. However, the inequality cases actually show up in my code, whereas there is no context where ⇐ actually means something. So that's why I'd rather have a version with inequality ligatures.
The text was updated successfully, but these errors were encountered: