Symbols:Abbreviations/N

NNF

 * Negation normal form.