Equation 17.15.13CFA9EE6DC1ED

\begin{equation} (\Gamma \lor \Gamma ')_{\tau }\coloneqq P_{\theta }\left[ \operatorname{CE}\left( \rho \mapsto \Gamma _{\rho }\lor \Gamma '_{\rho } \right)_{\tau } \right]. \end{equation}