Jump to navigation Jump to search

General

Display information for equation id:math.1065.1 on revision:1065

* Page found: Transitiv (eq math.1065.1)

(force rerendering)

Occurrences on the following pages:

Hash: 351ca4d7797b43767a45fce37dfe0927

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) :


MathML (experimental; no images) rendering

MathML (774 B / 314 B) :

⇔∀(m,m′′)∈M×M∃!g∈GM:g+m=m′′
<math class="mwe-math-element" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mo>&#x21D4;</mo><mi mathvariant="normal">&#x2200;</mi><mrow data-mjx-texclass="INNER"><mo data-mjx-texclass="OPEN">(</mo><mi>m</mi><mo>,</mo><msup><msup><mi>m</mi><mo>&#x2032;</mo></msup><mo>&#x2032;</mo></msup><mo data-mjx-texclass="CLOSE">)</mo></mrow><mo>&#x2208;</mo><mi>M</mi><mo>&#x00D7;</mo><mi>M</mi><mspace width="1em"></mspace><mi mathvariant="normal">&#x2203;</mi><mi>!</mi><mi>g</mi><mo>&#x2208;</mo><msub><mi>G</mi><mrow data-mjx-texclass="ORD"><mi>M</mi></mrow></msub><mi>:</mi><mi>g</mi><mo>+</mo><mi>m</mi><mo>=</mo><msup><msup><mi>m</mi><mo>&#x2032;</mo></msup><mo>&#x2032;</mo></msup></mstyle></mrow></math>

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

  • m
  • m′
  • M
  • M
  • g
  • GM
  • g
  • m
  • m′

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"