遅ればせながらover leafを使い始めました。ブラウザでLaTexが使える「だけ」だと思っていたのですが、\beginと打てば候補を表示してくれるし、エディタとしての機能も非常によくできていますね。
この春卒業していった修士の後輩たちはほぼ全員がover leafだったみたいで、ソフトウェア関連の進歩の速さにはびっくりです。