[texhax] The difference between \to and \rightarrow

[prstanley at ntlworld.com]

Hi folks,
Is there a visual difference between \to and \rightarrow. I've appended an example code .
Would the maths/comp science members recomend a different type of arrow for CSP/finite state autamata?

\documentclass [a4paper, 12pt] {article}

%\usepackage {amssymb}

\begin {document}

\[
( a_1 \rightarrow P_1 \mid \ldots \mid a_n \rightarrow P_n) \\
( a_1 \to P_1 \mid \ldots \mid a_n \to P_n)
\]
\end {document}

Thanks,
Paul