Now that we have ≢ (not-identical-to) in the keymap, would it make sense to implement support for it as well? As far as I know, it only has a dyadic form which is the inverse of ≡.
Regards, Elias
Now that we have ≢ (not-identical-to) in the keymap, would it make sense to implement support for it as well? As far as I know, it only has a dyadic form which is the inverse of ≡.
Regards, Elias