file. It should be used in place of this PNG file when not inferior. File:Arstafe2.png → File:Escudo de Santa Fe.svg For more information, see Help:SVG.