se non ho capito male in pratica hai un testo nel db con "\n" e vuoi che in una pagina HTML venga stampato rispettanto le andate a capo, se è così devi usare

Codice PHP:
echo nl2br($row_user['procedimento']);