A symbol is an atomic message, local to a state machine, which advances the state machine along a transition from its current state.