NonCommutative is a data type which may be used, e.g., as DataType[x, NonCommutative] = True.
NonCommutative
DataType[x, NonCommutative] = True
Overview, DataType, DeclareNonCommutative.