Separator notation

State A
State B
State C
State D

This example demonstrates the shorthand "separator" operator | which is used to separate groups of transitions using the same action.

In this example, the notation is written like so:


Without separation, states a + c, and states c + d would be treated as array notation, and would fail (as you can't go to two states at once).