public override Sexpr diff(Sexpr v) { if(name.Equals(v.ToString())) return new Constant(1); else return new Constant(0); }