% expecting: 
%\usepackage[mathletters]{ucs}
%\usepackage[utf8x]{inputenc}


\DeclareUnicodeCharacter{8614}{\mapsto}
\DeclareUnicodeCharacter{8623}{\lightning}
\DeclareUnicodeCharacter{8659}{\Downarrow}
%\DeclareUnicodeCharacter{8849}{\sqsubseteq}

