A relational symbol representing a triangular variant of the implies arrow, commonly used in formal logic and set theory.
TeXipedia
A relational symbol representing a triangular variant of the implies arrow, commonly used in formal logic and set theory.