Quaternionic matrix

A quaternionic matrix is a matrix whose elements are quaternions.