Определения/Теоремы/etc вида:

\begin{TYPE}[Можно название] \thmslashn
    *пустая строка*
    трататата
    \begin{proof} \thmslashn
        *пустая строка*
        тратата
    \end{proof}
\end{TYPE}

Возможные TYPE: theorem, definition, statement, remark, lemma, consequence, example, properties, property

Функции обозначиются как f : X \mapsto Y

Генераторы множеств - X = \{x \ssep x \in Y\}

В core.tex определена ещё куча операторов.

Пары/Кортежи - \left<X, Y\right>

Пустое множество - \emptyset

Предикаты - \forall{x \in X}\quad \exists{y \in Y}\quad x = y