ex__def__subterm_occurrence_ordering.tex

\documentclass{classes/forest}

\begin{document}
  \begin{forest}
    [
      \( \cdot \),
      [
        \( \cdot \)
          [\( c_0 \), SmallSubTree]
          [\( \Omega \), SmallSubTree]
      ]
      [\( I \), SmallSubTree]
    ]
  \end{forest}

  \begin{forest}
    [
        \( \cdot \)
        [
          \( \cdot \)
            [
              \( \qabs* \synx \)
                [
                  \( \qabs* \syny \)
                    [\( \syny \)]
                ]
            ]
            [
              \( \cdot \)
                [
                  \( \qabs* \synx \)
                    [
                      \( \cdot \)
                        [\( \synx \)]
                        [\( \synx \)]
                    ]
                ]
                [
                  \( \qabs* \synx \)
                    [
                      \( \cdot \)
                        [\( \synx \)]
                        [\( \synx \)]
                    ]
                ]
            ]
        ]
        [
          \( \qabs* \synx \)
            [
              \( \synx \)
            ]
        ]
    ]
  \end{forest}
\end{document}