matrix:-

m1 matrix:- m2

Reports a matrix, which is the result of subtracting the given matrices and/or scalars. This is exactly the same as

matrix:minus m1 m2

Takes precedence after matrix:*, same as normal subtraction.