\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}
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}