How to compare symbolic matrices here.?