The $J_z$ operator is defined as: \begin{equation} J_z = L_z + S_z. \end{equation} The equivalent operator in Quanty is created by:
OppJz = NewOperator("Jz", NF, IndexUp, IndexDn)