Definition:Conditional/Notational Variants/Sign of Illation/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Sign of Illation

The $\LaTeX$ code for \(A \mathop {-\!\!\!<} B\) is A \mathop {-\!\!\!<} B .