SQEMA






#   - [0] -  #A  #(A1, ..., Ak)
@   - <0> -  @A  @(A1, ..., Ak)
#'  - [0]-1 -  #'A  [0 ** -L](A1, ..., Ak 1 ≤ L ≤ k
@'  - <0>-1 -  @'A  <0 ** -L>(A1, ..., Ak 1 ≤ L ≤ k
[U] - 
<U> - 
[n] -  [n]A  [n](A1, ..., Ak)
<n> -  <n>A  <n>(A1, ..., Ak)
[n]'- , syntax: [n]'A  [n ** -L](A1, ..., Ak 1 ≤ L ≤ k
<n>'-  <n>'A  <n ** -L>(A1, ..., Ak 1 ≤ L ≤ k
&   - And -
|   - Or -
~   - Not -
->  - 
<-  - 
<-> - 
+   - Xor -
0   - Bottom -
1   - Top -




0   -    
1   -    
-   -    
*   -    
+   -    
F   - Bottom -
T   - Top -
C   -      C(T1, T2)
==  -    
<=  - ≤ -
<        
>=  - ≥  
>        
&   - And -
|   - Or -
~   - Not -
->  - 
<-  - 
<-> -