A binary operator symbol representing dominance, forward implications, or right-directed actions in abstract algebra and logic.
TeXipedia
A binary operator symbol representing dominance, forward implications, or right-directed actions in abstract algebra and logic.