symbol of a pseudodifferential operator