variable ∆
1 ∆ !
1 ∆ +!
∆ @ .