Interesting, in a class on sub-structural type theory they used / and \ for ordered implication/closure.