In this rule

Historical Rules · 1 February 2013

Rule 117.7d

Official source text from the 1 February 2013 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