sharpie—a permanent felt-tip marker, especially one made by the Sharpie brand