Does anyone else think this is weird notation for a double integral?