\begin{definition}[Definition:Ostensive Definition]
An '''ostensive definition''' is a definition which ''shows'' what a symbol is, rather than use words to ''explain'' what it is or what it does.
As an example of an '''ostensive definition''', we offer up:
:The symbol used for a stipulative definition is $:=$, as in:
::$\text {(the symbol being defined)} := \text {(the meaning of that symbol)}$
\end{definition}