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