Lars is correct : this confirms his hypothesis --
> \documentclass [a4paper, 12pt] {article}
>
> %\usepackage {amssymb}
>
> \begin {document}
> \tt
> To : \meaning \to
> \par
> Rightarrow : \meaning \rightarrow
> \end {document}
Lars Madsen wrote:
> AFAIK \to is just an alias for \rightarrow