Identity notation