Spotlight uses a private framework for mathematical expressions called Calculate.framework. (Fun fact: it seems to be based on Bison.)