取引所によってティッカーが異なるケースがあります。たとえば、LUXSE取引所であれば、SEO .prvBはSEOというティッカーで取引されています。