\usepackage{amsmath}
\usepackage{amssymb}

%\newtheorem{definition}{Definition}
%\newtheorem{example}{Example}