How-many-symbols-are-there
how-many-symbols-are-there