\begin{definition}[Definition:Interior (Topology)/Notation]
Let $T = \struct {S, \tau}$ be a topological space.
Let $H \subseteq S$.
The '''interior''' of $H$ can be denoted:
:$\map {\mathrm {Int} } H$
:$H^\circ$
The first is regarded by some as cumbersome, but has the advantage of being clear.
$H^\circ$ is neat and compact, but has the disadvantage of being relatively obscure.
On {{ProofWiki}}, $H^\circ$ is the notation of choice.
\end{definition}