operator ⊧ ⇒ →

Rule operator ⊧ 

A ⊧ B ≡ if A then B ≡ A causes B 

This can be used in branch control and rule proofing at the same time.

NextStep operator ⇒ 

A ⇒ B ≡ A and then B ≡ B after A 

Stint B will be enabled only when A is completed.

To operator → 

A → B ≡ A to B ≡ B has A 

The value assignment is the sub-object assignment. Operator "has" has the meaning of adding. If you want to replace what the B has or is completely, you must assign the null operand ∅ to B first as B = ∅. In a case, B may be a place and A may be a moving object.