If an icon is greyed out, it means the button is inactive in this context.

Conditional smaller than | Consequence smaller than | ||

Imported smaller than | Conditional smaller or equal than | ||

Consequence smaller or equal than | Imported smaller or equal than | ||

Conditional equal to | Consequence equal to | ||

Imported equal to | Conditional larger or equal to | ||

Consequence larger or equal to | Imported larger or equal to | ||

Conditional larger than | Consequence larger than | ||

Imported larger than | Conditional derivative smaller than | ||

Consequence derivative smaller than | Imported derivative smaller than | ||

Conditional derivative smaller or equal than | Imported derivative smaller or equal than | ||

Consequence derivative smaller or equal than | Conditional derivative equal to | ||

Consequence derivative equal to | Conditional derivative larger or equal to | ||

Imported derivative equal to | Consequence derivative larger or equal to | ||

Imported derivative larger or equal to | Conditional derivative larger than | ||

Consequence derivative larger than | Imported derivative larger than |