Jump to navigation Jump to search

General

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

* Page found: Transitiv (eq math.1064.0)

(force rerendering)

Occurrences on the following pages:

Hash: beef72eb3575806035be5db935306db2

TeX (original user input): 

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

TeX (checked): 

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

LaTeXML (experimental; uses MathML) rendering

MathML (4.938 KB / 1.079 KB) :

⇔ ∀ ( x , x ′ ) ∈ X × X   ∃ g ∈ G M : g + x = x ′ fragments ⇔ for-all fragments ( x , superscript 𝑥 ′ ) X X italic-  g subscript 𝐺 𝑀 : g x superscript 𝑥 ′ {\displaystyle{\displaystyle\Leftrightarrow\forall\left(x,{x}^{\prime}\right)% \in X\times X\quad\exists g\in{{G}_{M}}:g+x={x}^{\prime}}} 
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle\Leftrightarrow\forall\left(x,{x}^{\prime}\right)%&#10;\in X\times X\quad\exists g\in{{G}_{M}}:g+x={x}^{\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">x</mi>
        <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">,</mo>
        <msup id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml">
          <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">x</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">X</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">X</mi>
      <mo mathvariant="italic" separator="true" id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml"> </mo>
      <mo id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">∃</mo>
      <mi id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">g</mi>
      <mo id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">∈</mo>
      <msub id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">
        <mi id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">G</mi>
        <mi id="p1.1.m1.1.18.1" xref="p1.1.m1.1.18.1.cmml">M</mi>
      </msub>
      <mo id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">:</mo>
      <mi id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">g</mi>
      <mo id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">+</mo>
      <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">x</mi>
      <mo id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">=</mo>
      <msup id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">
        <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">x</mi>
        <mo id="p1.1.m1.1.25.1" xref="p1.1.m1.1.25.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">x</csymbol>
          <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">,</ci>
          <apply id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">
            <csymbol cd="ambiguous" id="p1.1.m1.1.28.1.cmml" xref="p1.1.m1.1.28">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">X</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">X</csymbol>
        <ci id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27">italic- </ci>
        <exists id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14"/>
        <csymbol cd="unknown" id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">g</csymbol>
        <in id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16"/>
        <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">subscript</csymbol>
          <ci id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">𝐺</ci>
          <ci id="p1.1.m1.1.18.1.cmml" xref="p1.1.m1.1.18.1">𝑀</ci>
        </apply>
        <ci id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">:</ci>
        <csymbol cd="unknown" id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">g</csymbol>
        <plus id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21"/>
        <csymbol cd="unknown" id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">x</csymbol>
        <eq id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23"/>
        <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">superscript</csymbol>
          <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">𝑥</ci>
          <ci id="p1.1.m1.1.25.1.cmml" xref="p1.1.m1.1.25.1">′</ci>
        </apply>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle{\displaystyle\Leftrightarrow\forall\left(x,{x}^{\prime}\right)%
\in X\times X\quad\exists g\in{{G}_{M}}:g+x={x}^{\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.659 KB / 542 B) :

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

SVG (10.067 KB / 4.308 KB) :

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

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"