doc: minus (U+2212) instead of dash (U+002D) for negative infinity#72072

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

tspiteri:minus-inftspiteri/rust:minus-infCopy head branch name to clipboard