# ⇼ U+21FC LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE

- = z notation finite relation