What is `|` here?