Conditional Logic Symbol