JetBrains One Dark Theme Demo 页面使用了这种字体。这叫什么?

JetBrains One Dark Theme Demo page uses this font. What is it called?

有人可以帮我识别这个等宽字体吗?谢谢!

Operator Mono ScreenSmart + Operator Mono Ligatures 用于连字。