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
 * A1×A1+×A1
 * A1×A1+×I
 * A1×A1+×A1/2
 * A1×I×I
 * I×I×I

Convex polytopes with BC2+×A1 symmetry

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