Symbol: cond1