This chapter discusses a number of central phenomena in the typology of negation, building on state-of-the-art typological research. The focus lies on standard negation, prohibitive negation, existential negation, and the negation of indefinites. Cross-linguistic variation is central in the discussion, and for most phenomena the question is addressed as to what extent a certain pattern is frequent or rare. As far as it is possible, observed patterns are provided with explanations, which are often diachronic. Thus the chapter discusses the Jespersen and Negative Existential Cycles and ventures a hypothesis on the existence of an ‘Ascriptive negation cycle’. For a number of phenomena it also discusses areality.