Transfers @<text> into <text> for HTML output.