"(C2 x (C4 : Q8)) : C2"
