The vertical bar "|" denotes an alternative, that is, either the left or the right side of the bar can appear in the language described, but one of them must appear (for example, the third production above means "an expression is a term followed by either a "*" or a "/" followed by another term").