[OS X TeX] Redefining a math symbol

[Vamos, Peter]

On 18 Apr 2013, at 20:31, Murray Eisenberg <murrayeisenberg at gmail.com> wrote:

> 
> On 18 Apr 2013 12:34:53 +0000, Vamos, Peter" <P.Vamos at exeter.ac.uk> wrote:
> 
>> On 18 Apr 2013, at 12:46, J. McKenzie Alexander <jalex at lse.ac.uk> wrote:
>> 
>>> presumably there's a way to change the definition of the '|' symbol in math mode so that TeX treats it as a binary operator by default
>> 
>> There is:  \mid
> 
> Actually, the spacing around \mid is a just a bit greater in $P(A \mid B)$ than it is in $P( \mathbin{|} B)$. You may need to typeset in 12 pt and then zoom in to notice it, though.
> 

That is because \mid is a math symbol of class binary relation and \mathbin{|}  is that of a binary operation. There are subtle differences as you yourself noticed. See also my next post.


Peter