\documentclass[11pt]{article}
\usepackage{amsthm,latexsym}

\begin{document}
$(x \otimes y)+(x \oplus y) - (x \ominus y)$ \\
$ x  \ominus y$ \\
$   x \leadsto y $ \\
 I want to write $\leadsto$ and $\sim$ instead of $\times ,- $.
\end{document}