Jump to navigation Jump to search

General

Display information for equation id:math.220416.10 on revision:220416

* Page found: Ordered pair (eq math.220416.10)

(force rerendering)

Occurrences on the following pages:

Hash: dbd0281b6a71cd30ac02d69f1462d285

TeX (original user input):

\forall{Y}{\in}{p}:{x}{\in}{Y}.

TeX (checked):

\forall {Y}{\in }{p}:{x}{\in }{Y}.

LaTeXML (experimental; uses MathML) rendering

MathML (2.186 KB / 553 B) :

Y p : x Y . : for-all 𝑌 𝑝 𝑥 𝑌 {\displaystyle\forall{Y}{\in}{p}:{x}{\in}{Y}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\forall{Y}{\in}{p}:{x}{\in}{Y}.}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.10" xref="p1.1.m1.1.10.2.cmml">
      <mrow id="p1.1.m1.1.10.2" xref="p1.1.m1.1.10.2.cmml">
        <mrow id="p1.1.m1.1.10.2.1" xref="p1.1.m1.1.10.2.1.cmml">
          <mrow id="p1.1.m1.1.10.2.1.1" xref="p1.1.m1.1.10.2.1.1.cmml">
            <mo id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml"></mo>
            <mi id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">Y</mi>
          </mrow>
          <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">p</mi>
        </mrow>
        <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">:</mo>
        <mrow id="p1.1.m1.1.10.2.2" xref="p1.1.m1.1.10.2.2.cmml">
          <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">x</mi>
          <mo id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml"></mo>
          <mi id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">Y</mi>
        </mrow>
      </mrow>
      <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.10.2.cmml">.</mo>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.10.2.cmml" xref="p1.1.m1.1.10">
        <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">:</ci>
        <apply id="p1.1.m1.1.10.2.1.cmml" xref="p1.1.m1.1.10.2.1">
          <in id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/>
          <apply id="p1.1.m1.1.10.2.1.1.cmml" xref="p1.1.m1.1.10.2.1.1">
            <csymbol cd="latexml" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">for-all</csymbol>
            <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">𝑌</ci>
          </apply>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">𝑝</ci>
        </apply>
        <apply id="p1.1.m1.1.10.2.2.cmml" xref="p1.1.m1.1.10.2.2">
          <in id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7"/>
          <ci id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">𝑥</ci>
          <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">𝑌</ci>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle\forall{Y}{\in}{p}:{x}{\in}{Y}.}</annotation>
  </semantics>
</math>

SVG (5.204 KB / 2.111 KB) :

for-all upper Y element-of p colon x element-of upper Y period

SVG with PNG fallback (MathML can be enabled via browser plugin) rendering

MathML (977 B / 331 B) :

Y p : x Y . {\displaystyle \forall {Y}{\in }{p}:{x}{\in }{Y}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall {Y}{\in }{p}:{x}{\in }{Y}.}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi>
        <mrow class="MJX-TeXAtom-ORD">
          <mi>Y</mi>
        </mrow>
        <mrow class="MJX-TeXAtom-ORD">
          <mo>&#x2208;<!-- ∈ --></mo>
        </mrow>
        <mrow class="MJX-TeXAtom-ORD">
          <mi>p</mi>
        </mrow>
        <mo>:</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mi>x</mi>
        </mrow>
        <mrow class="MJX-TeXAtom-ORD">
          <mo>&#x2208;<!-- ∈ --></mo>
        </mrow>
        <mrow class="MJX-TeXAtom-ORD">
          <mi>Y</mi>
        </mrow>
        <mo>.</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \forall {Y}{\in }{p}:{x}{\in }{Y}.}</annotation>
  </semantics>
</math>

SVG (4.354 KB / 1.979 KB) :

{\displaystyle \forall {Y}{\in }{p}:{x}{\in }{Y}.}

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 Ordered pair page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results