TLA+ is an example. What I really like about this notation is you can use alignment to indicate precedence: \/ /\ A /\ B \/ /\ C /\ D Which repr

TLA+ is an example. What I really like about this notation is you can use alignment to indicate precedence: \/ /\ A /\ B \/ /\ C /\ D Which represents (A & B) || (C & D). It helps quite a bit for parsing large formulas in your head. In TLA+ the individual expressions are usually much more complicated than a single variable.