!! +exec+ +var+ +string+
tit:rawmatrix
type:$type_both
syntax:!rawmatrix ``expr''
mean:Translate the matrix ``expr'', possibly with common user errors, \
  into a machine-understandable matrix expression.
