blob: c00368899f64a4390262b538e791fffe6bc2fb78 (
plain)
1
2
3
4
5
6
7
|
\import[ontology]{./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}\\
\var{a}^{2} + \var{b}^{2} &= \var{c}^{2}
\end{math}
|
