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