Edges

Choose the kind of edge

•  
  Non-strict implication
•  
  Strict implication
•  
  Non-implication
•  
  Weak open implication
•  
  Strong open implication

Nodes

Choose the node coloring function