Mackey's Character Formula