LaTeXをダウンロード。
Writingのアサインメントを作成する際に使う理系論文作成ツールだとか。
最近の理系学生はこういうのを使っているのね。

使ってみると非常に便利。
コーディングをするだけで、数式が作られて、PDF化までできる。
なるほどね。