# ⇹ U+21F9 LEFT RIGHT ARROW WITH VERTICAL STROKE

- = z notation partial relation