[texhax] \mid Description

[P. R. Stanley]

Hi folks
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) \]

Thanks,
Paul