Consider the following code that involves two functions NonCommutativeMultiply and xval. The latter works with the former as can be seen below. All
NonCommutativeMultiply
xval