added TIMES token for this case: 1\times2