blob: 843377713d253268a2cfe793cde9916469d1bcaa (
plain)
1
2
3
4
5
6
7
8
|
\import[ontology]{./ontologies/math}
\begin{math}
\sum_{i=5}^10 \\
\int_{\var{x} -> -1}^{\var{x} -> 1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\
\fun{f}{x, y} |-> \frac{x^{2}}{2} + y^2\\
$ a ^ 2 + \var{b}^2 &= $c^{2} \\
a^\frac{1}{2} &= \sqrt{a}
\end{math}
|
