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

Reply via email to