Some symbols