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