\import[ontology]{./ontologies/math}
\begin{math}
	$a^2 + $b^2 = $c^2
\end{math}