Anonymous

\usepackage[ligature]{semantic}
\mathlig{->}{\rightarrow}
\mathlig{<-}{\leftarrow}
\mathlig{=>}{\Rightarrow}
\mathlig{<==>}{\Longleftrightarrow}
\mathlig{<-->}{\leftrightarrow}
\mathlig{<=}{\leq}
\mathlig{>=}{\geq}
\mathlig{<<}{\langle}
\mathlig{>>}{\rangle}
\mathlig{/=}{\ne}