概要 SATySFi に比較的最近追加された set-math-char という数式モード内での入出力文字の対応を指定するためのプリミティブで遊んでみたという話 set-math-char の仕様 (推測込み) SATySFi version 0.0.7 で追加された set-math-char というプリミティブが…