A^\mathsf{c} x B^\mathsf{c}