Used to indicate an alternative.