U+21CE, ⇎
LEFT RIGHT DOUBLE ARROW WITH STROKE
Composition: [U+21D4] + ◌̸ [U+0338]

[U+21CD]
Arrows
[U+21CF]

Translingual

Symbol

  1. (logic) Logical non-equivalence.