Originariamente inviato da trave
Ma quel codice li viene visto correttamente da un browser, ma se devo scrivere su un file di testo, verrà scritto &#8804 e non ≤
Ma il tuo file di testo verra' interpretato da un browser...

Poi che c'entra tutto questo con php mi sfugge...