~ubuntu-branches/ubuntu/oneiric/latexml/oneiric

« back to all changes in this revision

Viewing changes to t/parse/sets.xml

  • Committer: Bazaar Package Importer
  • Author(s): Atsuhito KOHDA
  • Date: 2010-06-09 08:15:06 UTC
  • Revision ID: james.westby@ubuntu.com-20100609081506-1asj0n4u3w4q6jem
Tags: upstream-0.7.0
Import upstream version 0.7.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
<?xml version="1.0" encoding="UTF-8"?>
 
2
<?latexml class="article"?>
 
3
<?latexml package="latexml"?>
 
4
<?latexml RelaxNGSchema="LaTeXML"?>
 
5
<document xmlns="http://dlmf.nist.gov/LaTeXML">
 
6
  <para xml:id="p1">
 
7
    <equation xml:id="S0.Ex1">
 
8
      <Math mode="display" tex="\{ a\}" xml:id="S0.Ex1.m1" text="set@(a)">
 
9
        <XMath>
 
10
          <XMApp>
 
11
            <XMTok meaning="set" role="FENCED" argclose="}" argopen="{"/>
 
12
            <XMTok role="ID" font="italic">a</XMTok>
 
13
          </XMApp>
 
14
        </XMath>
 
15
      </Math>
 
16
    </equation>
 
17
    <equation xml:id="S0.Ex2">
 
18
      <Math mode="display" tex="\{ a:a\in b\}" xml:id="S0.Ex2.m1" text="conditional-set@(a, a element-of b)">
 
19
        <XMath>
 
20
          <XMApp>
 
21
            <XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators=":"/>
 
22
            <XMTok role="ID" font="italic">a</XMTok>
 
23
            <XMApp>
 
24
              <XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
 
25
              <XMTok role="ID" font="italic">a</XMTok>
 
26
              <XMTok role="ID" font="italic">b</XMTok>
 
27
            </XMApp>
 
28
          </XMApp>
 
29
        </XMath>
 
30
      </Math>
 
31
    </equation>
 
32
    <equation xml:id="S0.Ex3">
 
33
      <Math mode="display" tex="\{ a|a\in b\}" xml:id="S0.Ex3.m1" text="conditional-set@(a, a element-of b)">
 
34
        <XMath>
 
35
          <XMApp>
 
36
            <XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators="|"/>
 
37
            <XMTok role="ID" font="italic">a</XMTok>
 
38
            <XMApp>
 
39
              <XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
 
40
              <XMTok role="ID" font="italic">a</XMTok>
 
41
              <XMTok role="ID" font="italic">b</XMTok>
 
42
            </XMApp>
 
43
          </XMApp>
 
44
        </XMath>
 
45
      </Math>
 
46
    </equation>
 
47
  </para>
 
48
  <para xml:id="p2">
 
49
    <equation xml:id="S0.Ex4">
 
50
      <Math mode="display" tex="\{ a|a\in b\} _{{c=0}}" xml:id="S0.Ex4.m1" text="(conditional-set@(a, a element-of b)) _ (c = 0)">
 
51
        <XMath>
 
52
          <XMApp>
 
53
            <XMTok role="SUBSCRIPTOP" scriptpos="post2"/>
 
54
            <XMApp>
 
55
              <XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators="|"/>
 
56
              <XMTok role="ID" font="italic">a</XMTok>
 
57
              <XMApp>
 
58
                <XMTok meaning="element-of" name="in" role="RELOP">∈</XMTok>
 
59
                <XMTok role="ID" font="italic">a</XMTok>
 
60
                <XMTok role="ID" font="italic">b</XMTok>
 
61
              </XMApp>
 
62
            </XMApp>
 
63
            <XMApp>
 
64
              <XMTok meaning="equals" role="RELOP">=</XMTok>
 
65
              <XMTok role="ID" font="italic">c</XMTok>
 
66
              <XMTok meaning="0" role="NUMBER">0</XMTok>
 
67
            </XMApp>
 
68
          </XMApp>
 
69
        </XMath>
 
70
      </Math>
 
71
    </equation>
 
72
  </para>
 
73
</document>