I tried using it in 2002. God, it was slow. It was so freaking slow I jokingly suspected it was calling out to LaTeX and rendered the resulting .dvi file at each keystroke. I knew it wasn’t so, but judging by how much churn every entered character was causing, it could have very well been the case.
mgubi|2 days ago