${unaryOperatorLabel}
(sub-formula launch point 1)
${binaryOperatorLabel}
(sub-formula launch point 2)
  =