Jump to navigation Jump to search


Display information for equation id:math.242634.8 on revision:242634

* Page found: Negation as failure (eq math.242634.8)

(force rerendering)

Occurrences on the following pages:

Hash: 3900fe9ba66197729f3063edecd5756e

TeX (original user input):

q \leftarrow s

TeX (checked):

q\leftarrow s

LaTeXML (experimental; uses MathML) rendering

MathML (878 B / 333 B) :

q s 𝑞 𝑠 {\displaystyle q\leftarrow s}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle q\leftarrow s}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">
      <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">q</mi>
      <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml"></mo>
      <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">s</mi>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">
        <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2"></ci>
        <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝑞</ci>
        <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">𝑠</ci>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle q\leftarrow s}</annotation>

SVG (2.47 KB / 1.2 KB) :

q left-arrow s

SVG (MathML can be enabled via browser plugin) rendering

MathML (437 B / 275 B) :

q s {\displaystyle q\leftarrow s}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle q\leftarrow s}">
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo stretchy="false">&#x2190;<!-- ← --></mo>
    <annotation encoding="application/x-tex">{\displaystyle q\leftarrow s}</annotation>

SVG (2.237 KB / 1.152 KB) :

{\displaystyle q\leftarrow s}

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 Negation as failure page


MathML observations



no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results