symbols-a4
symbols-a4
symbols-a4
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(continued from previous page)<br />
≏ \bumpeq \hcrossing ⪷ \precapprox \swfree<br />
≎ \Bumpeq \leftfootline ≼ \preccurlyeq \swmodels<br />
≗ \circeq \leftfree ⪯ \preceq \swModels<br />
\closedequal \leftmodels ≾ \precsim \swvdash<br />
\closedprec \leftModels \rightfootline \swVdash<br />
\closedsucc ∝ \leftpropto \rightfree ≋ \triplesim<br />
∶= \coloneq \leftrightline ⊧ \rightmodels ∣ \updownline<br />
≅ \cong \Leftrightline ⊫ \rightModels ∥ \Updownline<br />
⋞ \curlyeqprec ⪦ \leftslice \rightpropto \upfootline<br />
⋟ \curlyeqsucc ⊣ \leftvdash ⪧ \rightslice \upfree<br />
≐ \doteq \leftVdash ⊢ \rightvdash \upmodels<br />
≑ \Doteq \nefootline ⊩ \rightVdash \upModels<br />
\downfootline \nefree ≓ \risingdotseq \uppropto<br />
⫝ \downfree \nemodels \sefootline ⊥ \upvdash<br />
\downmodels \neModels \sefree ⍊ \upVdash<br />
\downModels \neswline \semodels \vcrossing<br />
\downpropto \Neswline \seModels ⊪ \Vvdash<br />
⊤ \downvdash \nevdash \separated<br />
⍑ \downVdash \neVdash \sevdash<br />
MnSymbol additionally defines synonyms for some of the preceding <strong>symbols</strong>:<br />
⊣ \dashv (same as \leftvdash)<br />
\diagdown (same as \nwseline)<br />
\diagup (same as \neswline)<br />
\divides (same as \updownline)<br />
≑ \doteqdot (same as \Doteq)<br />
⊧ \models (same as \rightmodels)<br />
∥ \parallel (same as \Updownline)<br />
⊥ \perp (same as \upvdash)<br />
∝ \propto (same as \leftpropto)<br />
\relbar (same as \leftrightline)<br />
\Relbar (same as \Leftrightline)<br />
∝ \varpropto (same as \leftpropto)<br />
⊧ \vDash (same as \rightmodels)<br />
⊫ \VDash (same as \rightModels)<br />
⊢ \vdash (same as \rightvdash)<br />
⊩ \Vdash (same as \rightVdash)<br />
Table 77: MnSymbol Negated Binary Relations<br />
≉ \napprox ≂̸ \neqsim \nnwModels ⊁ \nsucc<br />
≊̸ \napproxeq ≠ \nequal \nnwseline ⪸̸ \nsuccapprox<br />
\nbackapprox \nequalclosed \nNwseline ⋡ \nsucccurlyeq<br />
\nbackapproxeq ≢ \nequiv \nnwvdash ⪰̸ \nsucceq<br />
≌̸ \nbackcong \nequivclosed \nnwVdash ≿̸ \nsuccsim<br />
\nbackeqsim \neswcrossing ⊀ \nprec \nswfootline<br />
∽̸ \nbacksim ≒̸ \nfallingdotseq ⪷̸ \nprecapprox \nswfree<br />
33<br />
(continued on next page)