Christine Quinn has formally announced she is running for mayor of New York City.