\begin{definition}[Definition:Logical Sign (Mathematical Theory)]
A '''logical sign''' of a mathematical theory is a symbol which is specifically pre-defined for the class of the theory.
\end{definition}