Definition of the cartesian monoidal structure

Definition 15.3.2 (Cartesian monoidal structure). The symmetric monoidal \(\infty \)-category \((C,\times )\) from Proposition 15.3.1 is called the cartesian monoidal structure on \(C\). We write \(\OpCart _C:=\Mm _{(C,\times )}\) for its underlying \(\infty \)-operad and \(C^{\times }:=(\OpCart _C)^{\otimes }\) for its total category.