1250
‘Reddit can survive without search’: company reportedly threatens to block Google
(www.theverge.com)
This is a most excellent place for technology news and articles.
The peso symbol is $, and it was it before it ever was the dollar symbol.
Maybe it's somebody else's peso?
https://www.compart.com/en/unicode/U+20B1
Apparently Philippines, introduced when they were an American colony and USA thought that the $ sign was to be only theirs and Spain's.