symbols-a4
symbols-a4
symbols-a4
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Table 69: AMS Negated Binary Relations<br />
≇ \ncong \nshortparallel \nVDash<br />
∤ \nmid \nsim \precnapprox<br />
∦ \nparallel ⊁ \nsucc \precnsim<br />
⊀ \nprec \nsucceq \succnapprox<br />
\npreceq \nvDash \succnsim<br />
\nshortmid \nvdash<br />
Table 70: stmaryrd Binary Relations<br />
\inplus \niplus<br />
Table 71: wasysym Binary Relations<br />
\invneg \leadsto \wasypropto<br />
\Join \logof<br />
Table 72: txfonts/pxfonts Binary Relations<br />
\circledgtr \lJoin \opentimes<br />
\circledless \lrtimes \Perp<br />
\colonapprox ⊸ \multimap \preceqq<br />
\Colonapprox \multimapboth \precneqq<br />
\coloneq \multimapbothvert \rJoin<br />
\Coloneq \multimapdot \strictfi<br />
\Coloneqq \multimapdotboth \strictif<br />
≔ \coloneqq ∗ \multimapdotbothA \strictiff<br />
\Colonsim \multimapdotbothAvert \succeqq<br />
\colonsim \multimapdotbothB \succneqq<br />
\Eqcolon \multimapdotbothBvert ∥ \varparallel<br />
\eqcolon \multimapdotbothvert \varparallelinv<br />
≕ \eqqcolon \multimapdotinv \VvDash<br />
\Eqqcolon \multimapinv<br />
\eqsim \openJoin<br />
∗ As an alternative to using txfonts/pxfonts, a “:=” symbol can be constructed with<br />
“\mathrel{\mathop:}=”.<br />
Table 73: txfonts/pxfonts Negated Binary Relations<br />
\napproxeq \npreccurlyeq ≇ \nthickapprox<br />
\nasymp \npreceqq \ntwoheadleftarrow<br />
\nbacksim \nprecsim \ntwoheadrightarrow<br />
\nbacksimeq \nsimeq \nvarparallel<br />
\nbumpeq \nsuccapprox \nvarparallelinv<br />
\nBumpeq \nsucccurlyeq \nVdash<br />
\nequiv \nsucceqq<br />
\nprecapprox \nsuccsim<br />
31