What popular brands sell colored pencils?

There are many different kinds of pencils, including basic writing implements with graphite cores, charcoal pencils that are typically used for drawings, grease pencils that write on unusual surfaces, mechanical pencils, and colored pencils.