Jump to navigation Jump to search

General

Display information for equation id:math.1064.1 on revision:1064

* Page found: Transitiv (eq math.1064.1)

(force rerendering)

Occurrences on the following pages:

Hash: 7a94612be69143a72e77c9776f972f19

TeX (original user input): 

\Leftrightarrow \forall \left( m,{m}' \right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'

TeX (checked): 

\Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'

LaTeXML (experimental; uses MathML) rendering

MathML (5.087 KB / 1.117 KB) :

⇔ ∀ ( m , m ′ ) ∈ M × M   ∃ ! g ∈ G M : g + m = m ′ fragments ⇔ for-all fragments ( m , superscript 𝑚 ′ ) M M italic-  g subscript 𝐺 𝑀 : g m superscript 𝑚 ′ {\displaystyle{\displaystyle\Leftrightarrow\forall\left(m,{m}^{\prime}\right)% \in M\times M\quad\exists!g\in{{G}_{M}}:g+m={m}^{\prime}}} 
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle\Leftrightarrow\forall\left(m,{m}^{\prime}\right)%&#10;\in M\times M\quad\exists!g\in{{G}_{M}}:g+m={m}^{\prime}}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mo id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">⇔</mo>
      <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">∀</mo>
      <mrow id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">
        <mo id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">(</mo>
        <mi id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">m</mi>
        <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">,</mo>
        <msup id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">
          <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">m</mi>
          <mo id="p1.1.m1.1.7.1" xref="p1.1.m1.1.7.1.cmml">′</mo>
        </msup>
        <mo id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">∈</mo>
      <mi id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">M</mi>
      <mo id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">×</mo>
      <mi id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">M</mi>
      <mo mathvariant="italic" separator="true" id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml"> </mo>
      <mo id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">∃</mo>
      <mo lspace="0pt" rspace="3.5pt" id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">!</mo>
      <mi id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">g</mi>
      <mo id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">∈</mo>
      <msub id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">
        <mi id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml">G</mi>
        <mi id="p1.1.m1.1.19.1" xref="p1.1.m1.1.19.1.cmml">M</mi>
      </msub>
      <mo id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">:</mo>
      <mi id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">g</mi>
      <mo id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">+</mo>
      <mi id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">m</mi>
      <mo id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">=</mo>
      <msup id="p1.1.m1.1.31" xref="p1.1.m1.1.31.cmml">
        <mi id="p1.1.m1.1.25" xref="p1.1.m1.1.25.cmml">m</mi>
        <mo id="p1.1.m1.1.26.1" xref="p1.1.m1.1.26.1.cmml">′</mo>
      </msup>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">⇔</ci>
        <csymbol cd="latexml" id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">for-all</csymbol>
        <cerror id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">
          <csymbol cd="ambiguous" id="p1.1.m1.1.7a.cmml" xref="p1.1.m1.1.7">fragments</csymbol>
          <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">m</csymbol>
          <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">,</ci>
          <apply id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29">
            <csymbol cd="ambiguous" id="p1.1.m1.1.29.1.cmml" xref="p1.1.m1.1.29">superscript</csymbol>
            <ci id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">𝑚</ci>
            <ci id="p1.1.m1.1.7.1.cmml" xref="p1.1.m1.1.7.1">′</ci>
          </apply>
          <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">)</ci>
        </cerror>
        <in id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9"/>
        <csymbol cd="unknown" id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">M</csymbol>
        <times id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11"/>
        <csymbol cd="unknown" id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">M</csymbol>
        <ci id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">italic- </ci>
        <exists id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14"/>
        <factorial id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15"/>
        <csymbol cd="unknown" id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">g</csymbol>
        <in id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17"/>
        <apply id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30">
          <csymbol cd="ambiguous" id="p1.1.m1.1.30.1.cmml" xref="p1.1.m1.1.30">subscript</csymbol>
          <ci id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">𝐺</ci>
          <ci id="p1.1.m1.1.19.1.cmml" xref="p1.1.m1.1.19.1">𝑀</ci>
        </apply>
        <ci id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">:</ci>
        <csymbol cd="unknown" id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21">g</csymbol>
        <plus id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22"/>
        <csymbol cd="unknown" id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23">m</csymbol>
        <eq id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24"/>
        <apply id="p1.1.m1.1.31.cmml" xref="p1.1.m1.1.31">
          <csymbol cd="ambiguous" id="p1.1.m1.1.31.1.cmml" xref="p1.1.m1.1.31">superscript</csymbol>
          <ci id="p1.1.m1.1.25.cmml" xref="p1.1.m1.1.25">𝑚</ci>
          <ci id="p1.1.m1.1.26.1.cmml" xref="p1.1.m1.1.26.1">′</ci>
        </apply>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle{\displaystyle\Leftrightarrow\forall\left(m,{m}^{\prime}\right)%
\in M\times M\quad\exists!g\in{{G}_{M}}:g+m={m}^{\prime}}}</annotation>
  </semantics>
</math>

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :


SVG (MathML can be enabled via browser plugin) rendering

MathML (1.68 KB / 543 B) :

⇔ ∀ ( m , m ′ ) ∈ M × M ∃ ! g ∈ G M : g + m = m ′ {\displaystyle \Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'} 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo stretchy="false">&#x21D4;<!-- ⇔ --></mo>
        <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi>
        <mrow>
          <mo>(</mo>
          <mrow>
            <mi>m</mi>
            <mo>,</mo>
            <msup>
              <mrow class="MJX-TeXAtom-ORD">
                <mi>m</mi>
              </mrow>
              <mo>&#x2032;</mo>
            </msup>
          </mrow>
          <mo>)</mo>
        </mrow>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mi>M</mi>
        <mo>&#x00D7;<!-- × --></mo>
        <mi>M</mi>
        <mspace width="1em" />
        <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi>
        <mo>!</mo>
        <mi>g</mi>
        <mo>&#x2208;<!-- ∈ --></mo>
        <mrow class="MJX-TeXAtom-ORD">
          <msub>
            <mrow class="MJX-TeXAtom-ORD">
              <mi>G</mi>
            </mrow>
            <mrow class="MJX-TeXAtom-ORD">
              <mi>M</mi>
            </mrow>
          </msub>
        </mrow>
        <mo>:</mo>
        <mi>g</mi>
        <mo>+</mo>
        <mi>m</mi>
        <mo>=</mo>
        <msup>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>m</mi>
          </mrow>
          <mo>&#x2032;</mo>
        </msup>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'}</annotation>
  </semantics>
</math>

SVG (9.58 KB / 4.042 KB) :

{\displaystyle \Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'}

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Transitiv page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results

Retrieved from "http://physikerwelt.de:8080/w/index.php?title=Special:FormulaInfo"