The notions unitarily small \(K\) -type and spin-lowest \(K\) -type will be recalled in Section . Note that besides atlas and the finiteness algorithm [1]} for classifying Dirac series, the sharpened Helgason-Johnson bound [2]} is a key tool as well.
