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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
<<< native
[ ESymbol Op "\8707"
, EIdentifier "x"
, ESymbol Op "\8704"
, EIdentifier "y"
, ESymbol Op "\8704"
, EIdentifier "z"
, EScaled (9 % 5) (ESymbol Open "(")
, EScaled (6 % 5) (ESymbol Open "(")
, EIdentifier "F"
, ESymbol Open "("
, EIdentifier "x"
, ESymbol Pun ","
, EIdentifier "y"
, ESymbol Close ")"
, ESymbol Bin "\8743"
, EIdentifier "F"
, ESymbol Open "("
, EIdentifier "x"
, ESymbol Pun ","
, EIdentifier "z"
, ESymbol Close ")"
, ESymbol Bin "\8743"
, ESymbol Open "("
, EIdentifier "y"
, ESymbol Rel "\8800"
, EIdentifier "z"
, ESymbol Close ")"
, EScaled (6 % 5) (ESymbol Close ")")
, ESymbol Rel "\8594"
, ESymbol Op "\172"
, EIdentifier "F"
, ESymbol Open "("
, EIdentifier "y"
, ESymbol Pun ","
, EIdentifier "z"
, ESymbol Close ")"
, EScaled (9 % 5) (ESymbol Close ")")
]
>>> mml
<?xml version='1.0' ?>
<math display="block" xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<mo>∃</mo>
<mi>x</mi>
<mo>∀</mo>
<mi>y</mi>
<mo>∀</mo>
<mi>z</mi>
<mo minsize="180%" maxsize="180%" stretchy="true" form="prefix">(</mo>
<mo minsize="120%" maxsize="120%" stretchy="true" form="prefix">(</mo>
<mi>F</mi>
<mo stretchy="false" form="prefix">(</mo>
<mi>x</mi>
<mo>,</mo>
<mi>y</mi>
<mo stretchy="false" form="postfix">)</mo>
<mo>∧</mo>
<mi>F</mi>
<mo stretchy="false" form="prefix">(</mo>
<mi>x</mi>
<mo>,</mo>
<mi>z</mi>
<mo stretchy="false" form="postfix">)</mo>
<mo>∧</mo>
<mo stretchy="false" form="prefix">(</mo>
<mi>y</mi>
<mo>≠</mo>
<mi>z</mi>
<mo stretchy="false" form="postfix">)</mo>
<mo minsize="120%" maxsize="120%" stretchy="true" form="postfix">)</mo>
<mo>→</mo>
<mo>¬</mo>
<mi>F</mi>
<mo stretchy="false" form="prefix">(</mo>
<mi>y</mi>
<mo>,</mo>
<mi>z</mi>
<mo stretchy="false" form="postfix">)</mo>
<mo minsize="180%" maxsize="180%" stretchy="true" form="postfix">)</mo>
</mrow>
</math>
|
