Jump to navigation Jump to search

General

Display information for equation id:math.224537.12 on revision:224537

* Page found: Free variables and bound variables (eq math.224537.12)

(force rerendering)

Occurrences on the following pages:

Hash: a31af60d28cd1609423041b617df998e

TeX (original user input):

\forall x \in \mathbb{S}\ P(x)

TeX (checked):

\forall x\in \mathbb {S} \ P(x)

LaTeXML (experimental; uses MathML) rendering

MathML (2.133 KB / 578 B) :

x 𝕊 P ( x ) for-all 𝑥 𝕊 𝑃 𝑥 {\displaystyle\forall x\in{\mathbb{S}}\ P(x)}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\forall x\in{\mathbb{S}}\ P(x)}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">
      <mrow id="p1.1.m1.1.10.1" xref="p1.1.m1.1.10.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">x</mi>
      </mrow>
      <mo id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml"></mo>
      <mrow id="p1.1.m1.1.10.2" xref="p1.1.m1.1.10.2.cmml">
        <mpadded width="+5pt" id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">
          <mi id="p1.1.m1.1.4a" xref="p1.1.m1.1.4.cmml">𝕊</mi>
        </mpadded>
        <mo id="p1.1.m1.1.10.2.1" xref="p1.1.m1.1.10.2.1.cmml"></mo>
        <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">P</mi>
        <mo id="p1.1.m1.1.10.2.1a" xref="p1.1.m1.1.10.2.1.cmml"></mo>
        <mrow id="p1.1.m1.1.10.2.2" xref="p1.1.m1.1.10.2.cmml">
          <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.10.2.cmml">(</mo>
          <mi id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.9" xref="p1.1.m1.1.10.2.cmml">)</mo>
        </mrow>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">
        <in id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/>
        <apply id="p1.1.m1.1.10.1.cmml" xref="p1.1.m1.1.10.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>
        <apply id="p1.1.m1.1.10.2.cmml" xref="p1.1.m1.1.10.2">
          <times id="p1.1.m1.1.10.2.1.cmml" xref="p1.1.m1.1.10.2.1"/>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">𝕊</ci>
          <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 x\in{\mathbb{S}}\ P(x)}</annotation>
  </semantics>
</math>

SVG (5.495 KB / 2.346 KB) :

for-all x element-of double-struck upper S times upper P times left-parenthesis x right-parenthesis

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

MathML (740 B / 360 B) :

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

SVG (4.569 KB / 2.179 KB) :

{\displaystyle \forall x\in \mathbb {S} \ P(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 Free variables and bound variables page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results