%
% mathsemantics.sty
%
\ProvidesPackage{mathsemantics}[2022/05/06 MathSemantics.sty v1.0.0]
\DeclareOption{shortbb}{%
    \PassOptionsToPackage{shortbb}{mathsemantics-syntax}
}
\ProcessOptions\relax

\RequirePackage{mathsemantics-commons}

\RequirePackage{mathsemantics-syntax}
\RequirePackage{mathsemantics-abbreviations}
\RequirePackage{mathsemantics-names}

\RequirePackage{mathsemantics-semantic}

\RequirePackage{mathsemantics-manifolds}
\RequirePackage{mathsemantics-optimization}