Comment by _emacsomancer_

I'm guessing it's also using Arc?

(It's too bad that it is limited only to people in Maths PhD programs.)