ord -package:sbv -package:leancheck -package:cabal-install-solver package:texmath

A record of the Unicode to LaTeX lookup table a full descripton can be seen <http://milde.users.sourceforge.net/LUCR/Math/data/unimathsymbols.txt here>