%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Made by John Wickerson, 07 Jan 2010.
% For use with the MathUnicode keyboard layout.

\RequirePackage[T1]{fontenc}
\RequirePackage[utf8x]{inputenc}
\RequirePackage{amssymb}
\RequirePackage{stmaryrd}

\DeclareUnicodeCharacter{183}{\cdot}
\DeclareUnicodeCharacter{915}{\Gamma}
\DeclareUnicodeCharacter{916}{\Delta}
\DeclareUnicodeCharacter{918}{\Zeta}
\DeclareUnicodeCharacter{920}{\Theta}
\DeclareUnicodeCharacter{923}{\Lambda}
\DeclareUnicodeCharacter{926}{\Xi}
\DeclareUnicodeCharacter{928}{\Pi}
\DeclareUnicodeCharacter{931}{\Sigma}
\DeclareUnicodeCharacter{933}{\Upsilon}
\DeclareUnicodeCharacter{934}{\Phi}
\DeclareUnicodeCharacter{935}{\Chi}
\DeclareUnicodeCharacter{936}{\Psi}
\DeclareUnicodeCharacter{937}{\Omega}
\DeclareUnicodeCharacter{945}{\alpha}
\DeclareUnicodeCharacter{946}{\beta}
\DeclareUnicodeCharacter{947}{\gamma}
\DeclareUnicodeCharacter{948}{\delta}
\DeclareUnicodeCharacter{949}{\epsilon}
\DeclareUnicodeCharacter{950}{\zeta}
\DeclareUnicodeCharacter{951}{\eta}
\DeclareUnicodeCharacter{952}{\theta}
\DeclareUnicodeCharacter{953}{\iota}
\DeclareUnicodeCharacter{954}{\kappa}
\DeclareUnicodeCharacter{955}{\lambda}
\DeclareUnicodeCharacter{956}{\mu}
\DeclareUnicodeCharacter{957}{\nu}
\DeclareUnicodeCharacter{958}{\xi}
\DeclareUnicodeCharacter{959}{\omicron}
\DeclareUnicodeCharacter{960}{\pi}
\DeclareUnicodeCharacter{961}{\rho}
\DeclareUnicodeCharacter{963}{\sigma}
\DeclareUnicodeCharacter{964}{\tau}
\DeclareUnicodeCharacter{965}{\upsilon}
\DeclareUnicodeCharacter{966}{\phi}
\DeclareUnicodeCharacter{967}{\chi}
\DeclareUnicodeCharacter{968}{\psi}
\DeclareUnicodeCharacter{969}{\omega}
\DeclareUnicodeCharacter{8214}{\parallel}
\DeclareUnicodeCharacter{8614}{\mapsto}
\DeclareUnicodeCharacter{8656}{\Leftarrow}
\DeclareUnicodeCharacter{8657}{\Uparrow}
\DeclareUnicodeCharacter{8658}{\Rightarrow}
\DeclareUnicodeCharacter{8659}{\Downarrow}
\DeclareUnicodeCharacter{8797}{\stackrel{\rm\tiny def}{=}}
\DeclareUnicodeCharacter{8870}{\vdash}
\DeclareUnicodeCharacter{8871}{\models}
\DeclareUnicodeCharacter{9121}{\lceil}
\DeclareUnicodeCharacter{9123}{\lfloor}
\DeclareUnicodeCharacter{9124}{\rceil}
\DeclareUnicodeCharacter{9126}{\rfloor}
\DeclareUnicodeCharacter{9675}{\circ}
\DeclareUnicodeCharacter{10178}{\bot}
\DeclareUnicodeCharacter{10214}{\llbracket} % needs stmaryrd
\DeclareUnicodeCharacter{10215}{\rrbracket} % needs stmaryrd
\DeclareUnicodeCharacter{10503}{\Mapsto}    % needs stmaryrd
\DeclareUnicodeCharacter{10971}{\not\hspace{-0.2em}\cap}
\DeclareUnicodeCharacter{65294}{\ldotp}