# ◁ U+25C1 WHITE LEFT-POINTING TRIANGLE

- = z notation domain restriction