Thank you, Remellion, for providing a clear answer based upon the FIDE Laws. If the "+" is optional, it stands to reason that a PGN reader may presume this symbol may be discarded entirely, prior to processing moves of the game. Thus, it can not be correct to use the check symbol as a disambiguation, as it definitely results in ambiguity.
I presume checkmate and stalemate symbols are also optional.
Thus, in this diagram (fen: QQ6/Qp6/2k5/8/8/8/1R3RN1/3N2KB w - - 0 1)...
[FEN "QQ6/Qp6/2k5/8/8/8/1R3RN1/3N2KB w - - 0 1"]
- Qa8xb7# is correct (the "#" is not a sufficient disambiguation of 1. Qxb7#).
- Rfd2= is correct (the "=" is not a sufficient disambiguation of 1. Rd2=).
- Nge3+ is correct (the "+" is not a sufficient disambiguation of 1. Ne3+).
And for those still not convinced... think of it another way... Suppose you give a beginning chess student this diagram as part of a hand-written #1 test (note: if so, first remove all white units except wK and 3 wQs). Now, who would honestly accept "Qxb7#" as a solution? Nobody! This is a clear failure to disambiguate which queen delivered the mate. Zero credit.