In this rule

Historical Rules · 10 August 2018

Rule 106.4a

Official source text from the 10 August 2018 Rules release

Permalink

If any mana remains in a player’s mana pool after mana is spent to pay a cost, that player announces what mana is still there.

Find this number in the current Rules