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