val left: Formula
Overrides Binary.left
The child of this element which is the root of the left subtree.