La pregunta es la etiqueta<pre> </pre>

He visto un script en el que estoy trabajando, lo usa:

echo ("<pre>");

.... ....

echo ("</pre>");

Qué hace exactamente ?

¿Es una etiqueta HTML o un PHP?

He buscado en Google pero no sale mucho de él. ¿Cuándo usamos generalmente esa etiqueta HTML? ... o la etiqueta PHP?