ex__natural_number_arithmetic_grammar__induction.tex

\documentclass{classes/forest}

\begin{document}
  \begin{forest}
    [
      \( \anon \),
        [\( ( \)]
        [\( T_u \), SmallSubTree]
        [\( \synplus \)]
        [\( T_v \), SmallSubTree]
        [\( ) \)]
    ]
  \end{forest}
\end{document}