https://www.man7.org/linux/man-pages/man1/bash.1.html
Pipelines
A pipeline is a sequence of one or more commands separated by one
of the control operators | or |&. The format for a pipeline is:
[time [-p]] [ ! ] command1 [ [|⎪|&] command2 ... ]
(...)
If |& is used, command1's standard error, in addition to its
standard output, is connected to command2's standard input through
the pipe; it is shorthand for 2>&1 |. This implicit redirection
of the standard error to the standard output is performed after
any redirections specified by command1.