Variable adaSymbolConst

The currency symbol of ada

See

https://github.com/input-output-hk/plutus/blob/1.16.0.0/plutus-ledger-api/src/PlutusLedgerApi/V1/Value.hs#L147-L150