\RequirePackage{amssymb,amsmath,stmaryrd}

\def\A#1{\mathcal{A}\left\llbracket#1\right\rrbracket}
\def\B#1{\mathcal{B}\left\llbracket#1\right\rrbracket}
\def\N#1{\mathcal{N}\left\llbracket#1\right\rrbracket}
\def\s{s\;}

\def\x{\mathtt{x}}

\def\tt{\mathbf{tt}}
\def\ff{\mathbf{ff}}

\def\AND{\mathtt{\;\&\&\;}}
\def\OR{\mathtt{\;||\;}}