What is this `|` sign for?