The vertical bar "|" denotes an alternative, i.e., either the left or the right side of the bar can appear in the language described, but one of them must appear. e.g., the 3rd production above means "an expression is a term followed by either a "*" or a "/" followed by another term."