\begin{definition}[Definition:Antilogarithm]
Let $x \in \R_{>0}$ be a strictly positive real number.
Let $b \in \R_{>1}$ be a real number which is greater than $1$.
Let $y = \log_b x$ be the logarithm of $x$ base $b$.
Then the '''antilogarithm of $y$ base $b$''' is:
:$\operatorname {alog}_b y = x$
\end{definition}