only Interactive Brokers offers access to mini Nikkei?

[Qwerty]

Is Interactive Brokers the only broker offering access to the mini Nikkei futures?

 

[vahn]

what is the ticker symbol of mini nikkei?