changeset 2967 | 89db5eedecab |
parent 2944 | 283e31f6a4be |
child 3064 | f04f93e5c0a9 |
2966:09e87e779b7d | 2967:89db5eedecab |
---|---|
39 and |
39 and |
40 or |
40 or |
41 forall |
41 forall |
42 exists |
42 exists |
43 And |
43 And |
44 lceil |
44 |
45 rceil |
45 #lceil |
46 lfloor |
46 #rceil |
47 rfloor |
47 #lfloor |
48 #rfloor |
|
49 |
|
50 201: |
|
48 turnstile |
51 turnstile |
49 Turnstile |
52 Turnstile |
50 lbrakk |
53 lbrakk |
51 rbrakk |
54 rbrakk |
52 cdot |
55 cdot |