Microdifferential operator: Difference between revisions