****Updated
Distinctions as Self-Contained Self-Contrast; Meta-Formalism
"A" identity, distinction
"=" is or equals
"( )" context, container, set
"○" Scale invariant self referencing context
"<->" biconditional
"-" absence, negation
"+" presence, emergence
1. A
2. A=A
3. ((A=A) <-> (-A=-A)) <->
((A=/=-A) <-> (A = - -A))
4. (A <-> -A) <-> ((A=A) <-> (-A=-A))
5. (A <-> -A) = B
6. B = B
7. (B = B) <-> (-B=-B) <->
((B =/= -B) <-> (B = - -B))
8. (B <-> -B) <-> ((B=B) <-> (-B=-B))
9. (B <-> -B) = C
10. ....D....
11. (A <-> A) = (B <-> -B) = (C <-> -C) =...
12. ● <-> - ●
13 (● <-> - ●) <-> ((● =/= - ●) <-> (● = - -●))
14. ● = (+,-)
15. (+, -)
16. ( )
17. ( ) = ( )
18. (( ) <-> -( )) <->
((( ) =/=( )) <-> (( )=--( )))
19. (( ) <-> -( )) <-> (( ))
20. (( )) = (( ))
21. ...(..(( ))..)...
22. ○
23. A = ( )
A = ○
● = ( )
● = ○
( ) = ○
24. (A <-> ● <-> ( ) <-> ○) = X
X1 = A
X2 = ●
X3 = ( )
X4 = ○
25. (X = (X1, X2, X3, X4)) <->
(((X = X1) <-> Y1),
((X = X2) <-> Y2),
((X = X3) <-> Y3),
((X = X4) <-> Y4))
Y(1,2,3,4) = ( )
****
X <-> Y
27. (A) <-> (●) <-> (( )) <-> (○)
28. ...(..(( ))..)...
29. (( )<->( )) = ((( )=( )),(-( )=-( )))
30. (<->)=(+=+, -=-) <-> (( )<->( ))
31. ((+=+) <-> (-=-)) = ((--=--)<->(++=++))
32. ((=) <-> (=)) = ((=) <-> (=))
33. (<->,=)
34. (<->)<->(<->),
(=)<->(=)
(<->)=(<->)
(=)=(=)
35. ( )=( ), ( )<->( )
36. ( )