Prosquare prismatic symmetry

BC2+×A1, also known as prosquippic symmetry or prosquare prismatic symmetry, is a 3D spherical Coxeter group.

Subgroups

 * (BC2+×A1)/2
 * BC2+×I
 * K2+×A1
 * K2+×I
 * ±(I×I×I)
 * A1×I×I
 * I×I×I

Convex polytopes with BC2+×A1 symmetry

 * Square prism (isogonal)/Square tegum (isotopic)