typing symbols