Original: In this definition, each game has the notation {L | R}.
Simplified: Games have the notation {L | R}.