change C symbol from symbol to html4 code