jg@prg.ox.ac.uk (Jeremy Gibbons) (02/01/91)
Can anybody think of an obvious way of defining a TeX macro (a `binary' thingy) \to such that $A \to B$ comes out as B <- A (where A and B can be complicated expressions)? I'm prepared to write ${A} \to {B}$, or even ${A \to B}$, if it helps. I'd like a way of doing it that doesn't requires me to write $\from A \to B$. Jeremy