def__subterm_occurrence_ordering.tex

\documentclass{classes/forest}

\begin{document}
  \begin{forest}
    [
      \( \cdot \)
        [\( A \), SmallSubTree]
        [\( B \), SmallSubTree]
    ]
  \end{forest}
\end{document}