Hello, everyone! First time poster. Quick question: I am working in TeXShop on a Macbook. When I type $\nexists$, I get an error message saying "Undefined control sequence" even though it is in the list of short course symbol tables available under the Help menu in TeXShop. $\not \exists$ works...