What's the best way to get a "parallel reduction arrow" (as in the one used to show confluence of the
$\lambda$-calculus, if that means anything)
Concretely I want an arrow with a
// crossing the middle of it. Using
|| could also be acceptable.
Right now I have:
Giving something kind of OK, but spacing seems to vary each time I use it.