Hi, I would like to track Polkadot [DOT] but you only have Dotcoin [DOT], how can I do this?

There is a futures market here: https://www.tokok.com/market?symbol=DOT_ETH

Website, Reddit: https://polkadot.network/ https://reddit.com/r/dot/

I'm for now using Dotcoin as "placeholder", is there any way to add Polkadot anyways?