"is not" and "!=" are indistinguishable.

[YorikSar]

They should be converted to different characters.
For example, "is" and "is not" can use the identity (≡, ≢) while != should be converted to ≠. Don't know what to do with == then, but at least this version will be definitive.

[ehamberg]

Hi,

Thanks for reporting this. The translation is not → ≠ was added to avoid is not being translated to is ¬ (see issues/14), but you raise a good point in that it now not possible to tell is not apart from != in concealed code.

The following translations could be used (with the caveat that ≡ might be hard to read if the font is very small):

• != → ≠
• is → ≡
• is not → ≢

But == is trickier. Any suggestions? :)

[YorikSar]

May be, replace = with ≔ and then == with = ?
But it's not too good to change meaning of the =.

[ehamberg]

I discussed this a bit with the local Python guru and I'm leaning towards leaving is and is not alone (and not touching the “not” when after “is”) and use ≠ and ≡ for != and ==, respectively.

is is used far less often than == – and since it's just a pointer comparison, its meaning is farther off from ‘≡’ than == since the latter will actually check that the values are the same.

It will then be:

• foo == bar → foo ≡ bar
• foo != bar → foo ≠ bar
• foo is bar → foo is bar
• foo is not bar → foo is not bar

Comments? :-)

[YorikSar]

I don't think it's a good idea to use identity in place of equality. Geeks will not approve.
At least replacement should be consistent - like both == and != to ≡ and ≢.