These symbols are available from the Negated Relations panel on the Symbol toolbarSymbol_toolbar.tex.
dtbpF111.1875pt265.5pt0ptnegatedpanel.wmf
You can enter some miscellaneous symbols with the key sequencesKey_prefixes.tex.