[texhax] \mid Description
P. R. Stanley
prstanley at ntlworld.com
Tue Nov 10 22:26:03 CET 2009
> > What does the \mid macro do in the below line, that's to say, what
> > visual effect does it, well, effect?
> > \[(a_1 \to P_1 \mid \ldots \mid a_n \to P_n) \]
>A vertical line like \vert or |, but with equal spacing on either side so
>that it looks better in the middle of an expression.
paul: A-ha! It makes sense since it is the guarded alternative symbol in CSP.
More information about the texhax