added some symbols to convert