Agree, anyway $ is used for many currencies, CAD, AUD, MXN, many pesos variation... so we could take it over as well as long as it's clear we talk about SAT in the context. More important is to have BTC (already the case?) and SAT as official ISO code.