Add a new operator // to be the same as / except its TeX form is a/b rather than \frac{a}{b}. This makes it possible get horizontal fractions in exponents, for example, where vertical fractions often don't look so good.

Changed paths: