Friends, a question about your TeX preferences: \overline{x} or \bar{x} for a mean?