\setlength{\parindent}{0pt}
\setlength{\parskip}{1em}

\newcommand\Th{\glsref[Th_symbol]{\mathrm{Th}}}
\newcommand\ee{\glsref[ee]{\equiv}}

\newcommand\mcong{\glsref[cong_symbol]{\cong}}

\newcommand\esub{\glsref[esubstruc]{\preccurlyeq}}
\newcommand\esup{\glsref[esubstruc]{\succcurlyeq}}
\newcommand\elemb{\glsref[eemb]{elementary $\mathcal{L}$-embedding}}

\newcommand\Diag{\glsref[diag_symbol]{\mathcal{D}}}

\DeclareMathOperator{\ACFinternal}{ACF}
\newcommand\ACF{\glsref[acf_symbol]{\ACFinternal}}
\newcommand\acf{\glsref[acf_symbol]{\ACFinternal}}
\DeclareMathOperator{\trdeg}{trdeg}
\DeclareMathOperator{\charr}{char}

\newcommand\RG{\glsref[rg_symbol]{\mathrm{RG}}}

\newcommand\Snm{\glsref[Snm_symbol]{S}}
\newcommand\tp{\glsref[tp_symbol]{\mathrm{tp}}}

\newcommand\mequiv[1][M]{\glsref[mequiv_symbol]{\equiv^{#1}}}

\DeclareMathOperator\Spec{Spec}

\newcommand\Icount{\glsref[Icount_symbol]{I}}

\DeclareMathOperator\dlo{DLO}
\DeclareMathOperator\tfdag{TFDAG}