\begin{definition}[Definition:Division/Notation]
The operation of division can be denoted as:
:$a / b$, which is probably the most common in the general informal context
:$\dfrac a b$, which is the preferred style on {{ProofWiki}}
:$a \div b$, which is rarely seen outside grade school.
Category:Definitions/Division
\end{definition}