とりあえず書いてみた。提出前だし、回答は割愛。 記号類にunicode文字を使っても大丈夫みたい。 agdaのunicode入力が便利。フォントの指定方法があっているのか不明。 ConTeXtではMathMLの数式を扱えるらしい、後で使ってみよう。 Mathematicaとかと連携さ…