In this rule

Historical Rules · 20 January 2017

Rule 117.7f

Official source text from the 20 January 2017 Rules release

If a cost is reduced by an amount of mana represented by a Phyrexian mana symbol, the cost is reduced by one mana of that symbol’s color.

Find this number in the current Rules