A questão é a etiqueta<pre> </pre>

Eu vi um script em que estou trabalhando, o usa:

echo ("<pre>");

.... ....

echo ("</pre>");

O que exatamente isto faz ?

É uma tag HTML ou PHP?

Eu pesquisei no Google, mas nada sai disso. Quando costumamos usar essa tag HTML? ... ou PHP?