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
|
<<< tex
\forall A \, \exists P \, \forall B \, [B \in P \iff \forall C \, (C \in B \Rightarrow C \in A)]
>>> native
[ ESymbol Op "\8704"
, EIdentifier "A"
, ESpace (1 % 6)
, ESymbol Op "\8707"
, EIdentifier "P"
, ESpace (1 % 6)
, ESymbol Op "\8704"
, EIdentifier "B"
, ESpace (1 % 6)
, EDelimited
"["
"]"
[ Right (EIdentifier "B")
, Right (ESymbol Rel "\8712")
, Right (EIdentifier "P")
, Right (ESymbol Rel "\8660")
, Right (ESymbol Op "\8704")
, Right (EIdentifier "C")
, Right (ESpace (1 % 6))
, Right
(EDelimited
"("
")"
[ Right (EIdentifier "C")
, Right (ESymbol Rel "\8712")
, Right (EIdentifier "B")
, Right (ESymbol Rel "\8658")
, Right (EIdentifier "C")
, Right (ESymbol Rel "\8712")
, Right (EIdentifier "A")
])
]
]
|
