I don't know what this double-arrow $\twoheadrightarrow$ means!
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
From Wikipedia: Surjective funtion
See also the section on the properties or characterizations of "surjections".
This is usually used in category theory to denote an epimorphism.
Related question: Special arrows for notation of morphisms