monoid
monoid copied to clipboard
!= and <== ligatures with the subsequent equals signs issues [OS X]
Note, how the <==
ligature is being pulled to the right:
thanks for the report - I will look into it this christmas :+1:
I can reproduce this in Atom on Linux. Seems to be a general issue how <===============
is treated. No matter how many =
you put behind, the whole sequence is always collapsed to the right. Doesn't happen the other way round: ========>
will just have the last ==>
being replaced by the ligature.
@phw cheers, should be fixed in next update
And this