generated at


\neq A \neq B
\not= A \not= B