some more symbols...