# Concept of equality conditional to existence of one side

$\mbox{Left side expression} = \mbox{Right side expression}$