protected override XmlFormulaTree ToXml(XmlFormulaTree child)
 {
     return(XmlFormulaTreeFactory.CreateNotNode(child));
 }