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">
7
<equation xml:id="S0.Ex1">
8
<Math mode="display" tex="\{ a\}" xml:id="S0.Ex1.m1" text="set@(a)">
11
<XMTok meaning="set" role="FENCED" argclose="}" argopen="{"/>
12
<XMTok role="ID" font="italic">a</XMTok>
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)">
21
<XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators=":"/>
22
<XMTok role="ID" font="italic">a</XMTok>
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>
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)">
36
<XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators="|"/>
37
<XMTok role="ID" font="italic">a</XMTok>
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>
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)">
53
<XMTok role="SUBSCRIPTOP" scriptpos="post2"/>
55
<XMTok meaning="conditional-set" role="FENCED" argclose="}" argopen="{" separators="|"/>
56
<XMTok role="ID" font="italic">a</XMTok>
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>
64
<XMTok meaning="equals" role="RELOP">=</XMTok>
65
<XMTok role="ID" font="italic">c</XMTok>
66
<XMTok meaning="0" role="NUMBER">0</XMTok>