Add comment
parent
eaa8ba6e52
commit
c61226c0b8
|
@ -11,8 +11,7 @@ TUPLE: ⋀ x y ;
|
|||
TUPLE: ⋁ x y ;
|
||||
TUPLE: ¬ x ;
|
||||
|
||||
SINGLETON: ⊤
|
||||
SINGLETON: ⊥
|
||||
SINGLETONS: ⊤ ⊥ ;
|
||||
|
||||
SINGLETONS: P Q R S T U V W X Y Z ;
|
||||
|
||||
|
|
Loading…
Reference in New Issue