Manuscript XX-D@1 · XX-D.tex · section · c83a526d
The exact formal classical limit
Classical symbol, normalization changes, and pure-trace tests › The exact formal classical limit · lines 1941–1947
The term “classical symbol” here refers to the quotient by the -adic filtration. It is not the pseudodifferential principal symbol of the Newton operator.