How to type symbols, accents, special characters, and weird punctuation

How to type not symbol ¬

On Windows:
Hold down the ALT key and type 0172 on the keypad

On Mac OS:
Hold down the Option key and press L

¬ or ¬

More symbols in the category: How to type math symbols | How To