%
% Only the most commonly-used macros. Needed by everything else.
%
+\ifx\havemjocommon\undefined
+\def\havemjocommon{1}
+
% Needed for \mathbb.
\usepackage{amsfonts}
\providecommand*{\intervaloc}[2]{ \left({#1},{#2}\right] } % open-closed
\providecommand*{\intervalco}[2]{ \left[{#1},{#2}\right) } % closed-open
\providecommand*{\intervalcc}[2]{ \left[{#1},{#2}\right] } % closed-closed
+
+
+\fi