Chen, Fitzsimmons, Kuwae and Zhang (Ann. Probab. 36 (2008) 931-970) have established an Itô formula consisting in the development of F(u(X)) for a symmetric Markov process X, a function u in the ...