Forest above, binary tree below. Binary edges: left = first child, right = next sibling.
Red dot: the new leaf. “Symmetric” means R(A) = A.