U₂.SA.KA.KAK

Also: pihu_x(|U₂.SA.KA.KAK|).