blob: a6ac4dd22cf2993e9df30bab658dd2ff0cdfda95 (
plain)
1
2
3
4
5
6
|
\import[ontology]{./math}
\begin{math}
\sum^{10}_{i=5} \\
\int^{\var{x} -> 1}_{\var{x} -> -1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\
\fun{f}{x, y} |-> \frac{x^{2}}{2} + y^{2}
\end{math}
|