The template language adds a condition which the left and right is variable in arithmetic operator notation
The template language adds a support which variable both appears in left and right of notation.