I believe pound sign is used in a few other places as well (see https://en.wikip...

		owl110 on Aug 17, 2022 \| parent \| context \| favorite \| on: Show HN: I made a web-based notepad with a built i... I believe pound sign is used in a few other places as well (see https://en.wikipedia.org/wiki/Pound_sign). Enforcing the use of ISO 4217 codes (https://en.wikipedia.org/wiki/ISO_4217) may be a solution to avoid this type of ambiguities.