ちょっと抽象的な質問で申し訳ないんですが…

昨日大学の講義でノーパソ使ってる奴の中にTeXの数式をリアルタイムで
プレビューするソフトを使ってる奴がいました。OSはXPのようでした。

窓が上下二段になっていて下段にソース、上段にプレビューって感じだったんですが
なんてソフトか分かる方いらっしゃいますか？

あいつすげーの使ってノートとってるよorz
と思ってる間に授業が終わってしまい、よく知らない奴だったので…。