added html symbol handling