added identity matrix, equivalent sign