x + ygt ; 2 ⁢ n CompoundExpression x ygt 2 n