\documentclass{article}



\begin{document}

$x:=a+1$, $a:b$, $\{\, x : P(x) \,\}$\\
$f\colon X\to Y$, $\exists y\colon Y(y)$

\end{document}
