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