Spot operator: opSpot/isempty
Spot Home Page
opSpot/isempty
ISEMPTY True for empty operator. isempty(A) returns true if A is an empty operator.