Hintergrundwissen:Hatten die Portugiesen damals den Dollar als Währung?
Portugiesischer Escudo
Der portugiesische Escudo, kurz auch Escudo (deutsch: Schild), war die Währung Portugals vor der Einführung des Euro. Der ISO-4217-Code ist PTE.
[...]
Der Escudo war in 100 Centavos unterteilt. Die Notierung von Preisen erfolgte mit dem Cifrão (graphisch mit dem Dollarzeichen ähnlich, stets mit zwei Strichen geschrieben) zwischen den Zahlen der Escudos und der Centavos. So bedeutete „25$00“ einen Betrag von 25 Escudos. Wegen der Inflation wurden die Centavo-Münzen schon lange nicht mehr benutzt, als die Umstellung zum Euro erfolgte.
[...]
Quelle und mehr: Portugiesischer Escudo – Wikipedia