Rule 106.2 · Mana
Mana is represented by mana symbols (see rule 107.4). Mana symbols also represent mana costs (see rule 202).
Ask the judge Pro
The life counter has an AI judge that answers your play citing the exact rules. It is part of Gatewatch Pro; the rules, Oracle text and rulings stay free.