This line
The symbol may naturally be thought of as an element in the K-theory of X
appears in the nLab page on principal symbolsnLab page on principal symbols for differential operators. What does this mean? Are they talking about K-theory or K-homology? How does one produce a class from the symbol of the operator?