\documentclass{report}
+% We have to load this before mjotex so that mjotex knows to define
+% its glossary entries.
+\usepackage[nonumberlist]{glossaries}
+\makenoidxglossaries
+
\usepackage{mjotex}
\usepackage{mathtools}
\begin{document}
+ \begin{section}{Algebra}
+ If $R$ is a commutative ring, then $\polyring{R}{X,Y,Z}$ is a
+ multivariate polynomial ring with indeterminates $X$, $Y$, and
+ $Z$, and coefficients in $R$. If $R$ is a moreover an integral
+ domain, then its fraction field is $\Frac{R}$.
+ \end{section}
+
\begin{section}{Algorithm}
An example of an algorithm (bogosort) environment.
proper face, then we write $F \properfaceof K$.
\end{section}
+ \begin{section}{Euclidean Jordan algebras}
+ The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra
+ is $\jp{x}{y}$.
+ \end{section}
+
\begin{section}{Font}
We can write things like Carathéodory and Güler and $\mathbb{R}$.
\end{section}
\end{section}
\begin{section}{Listing}
- Here's an interactive sage prompt:
+ Here's an interactive SageMath prompt:
\begin{tcblisting}{listing only,
colback=codebg,
[0 0], [0 0], [1 0], [0 1]
]
\end{tcblisting}
+
+ However, the smart way to display a SageMath listing is to load it
+ from an external file (under the ``listings'' subdirectory):
+
+ \sagelisting{example}
+
+ Keeping the listings in separate files makes it easy for the build
+ system to test them.
\end{section}
\begin{section}{Miscellaneous}
$\closure{X}$ and its boundary is $\boundary{X}$.
\end{section}
+ \setlength{\glslistdottedwidth}{.3\linewidth}
+ \setglossarystyle{listdotted}
+ \glsaddall
+ \printnoidxglossaries
\end{document}