Pseudo-differential operator theory on Lie groups extends classical symbol calculus from Euclidean spaces to settings with underlying noncommutative geometry. At its core is the assignment of an ...