* <math>4.2 \times_\downarrow 1.5 = \lfloor 4.2 \times 1.5 \rfloor = \lfloor 6.3 \rfloor = 6</math>, '''but''' <math>4.2 \times_\downarrow 1 = 4.2</math> (by definition, <math>\times_\downarrow</math> is then a non-commutative non-associative operator, it is assumed to be left-associative with lower priority than the usual multiplication operator). | * <math>4.2 \times_\downarrow 1.5 = \lfloor 4.2 \times 1.5 \rfloor = \lfloor 6.3 \rfloor = 6</math>, '''but''' <math>4.2 \times_\downarrow 1 = 4.2</math> (by definition, <math>\times_\downarrow</math> is then a non-commutative non-associative operator, it is assumed to be left-associative with lower priority than the usual multiplication operator). |