Closed ajpaulson closed 9 years ago
same as https://github.com/larsenwork/monoid/issues/31#issuecomment-125142718
What Editor are you using?
Ah I didn't realise this was a duplicate - I will close this and comment there.
Closed as duplicate of #31
I downloaded the latest version about 20 minutes ago and tested on Ubuntu with an English US keymap set.
The equals sign shows up as a less than or equal sign with very close spacing so that it overlaps preceding characters.