mathematicians: how do you think one should LaTeX an integer times a fraction? 3 \times \frac{1}{2}, or, 3(\frac{1}{2}), or what?