So far I have not found a setting to change the dollar sign when filtering. See also the Facebook post here:
https://www.facebook.com/groups/joomshaper/posts/2286760638182187
In the settings in the SPPB for the product page, only the colour, size and spacing can be changed. But not the currency symbol.
Is there a setting anywhere else where this can be changed?