File: mo6.test

package info (click to toggle)
haskell-texmath 0.12.10.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 31,408 kB
  • sloc: haskell: 12,870; makefile: 29
file content (44 lines) | stat: -rw-r--r-- 960 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
<<< mml
<?xml version="1.0" encoding="UTF-8"?>

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>there exists</mo> 
    <mrow>
      <mrow>
        <mi> &#x003B4;</mi> 
        <mo>&gt;</mo> 
        <mn>0</mn> 
      </mrow> 
      <mo>such that</mo> 
      <mrow>
        <mrow>
          <mi>f</mi> 
          <mo> &#x02061;</mo> 
          <mrow>
            <mo>(</mo> 
            <mi>x</mi> 
            <mo>)</mo> 
          </mrow> 
        </mrow> 
        <mo>&lt;</mo> 
        <mn>1</mn> 
      </mrow> 
    </mrow> 
  </mrow> </math>
>>> native
[ EMathOperator "there exists"
, EGrouped
    [ EGrouped [ EIdentifier "\948" , ESymbol Rel ">" , ENumber "0" ]
    , EMathOperator "such that"
    , EGrouped
        [ EGrouped
            [ EIdentifier "f"
            , ESymbol Ord "\8289"
            , EDelimited "(" ")" [ Right (EIdentifier "x") ]
            ]
        , ESymbol Rel "<"
        , ENumber "1"
        ]
    ]
]