@HTMLDECODE[un magnifique] : Décode une chaîne HTML. Les caractères d'échappement HTML (c'est-à-dire >) sont remplacés par leurs valeurs d'origine.
Mise en situation :
echo "%@htmldecode[Ceci est & une chaîne]"
"C'est une chaîne"
Voir aussi TUYAU.