@Eden@weirder.earth It looks like they might have done some weird, nonstandard notation of a Frobenius inner product. I don't know why they would have notated it this way, other than "oh, the dot can't be standard matrix multiplication [or perhaps they never use the dot for standard matrix multiplication], so hopefully they assume it's the inner product," but the result is consistent with it being an inner product.