some more extra symbols