Yes, I agree. The Delta sign means Major 7. But some chord symbols in the iRealPro library include (unnecessarily) the "7" (such as C∆7#11). I'd rather just have C∆#11 to save space