thm__removing_node_from_tree.tex

\documentclass{classes/forest}

\begin{document}
  \begin{forest}
    [
      \( \anon \)
        [
          \( \dottedcircle \), edge=dotted
            [
              \( \anon \), edge=dotted
                [
                  \( \anon \)
                    [
                      \( \anon \)
                        [\( \anon \)]
                    ]
                    [\( \anon \)]
                ]
            ]
            [
              \( \anon \), edge=dotted
                [\( \anon \)]
            ]
            [
              \( \anon \), edge=dotted
                [\( \anon \)]
            ]
        ]
        [
          \( \anon \)
            [\( \anon \)]
        ]
        [
          \( \anon \)
            [
              \( \anon \)
                [
                  \( \anon \)
                    [\( \anon \)]
                ]
                [\( \anon \)]
            ]
        ]
    ]
  \end{forest}
\end{document}