レンダリング関係:
- 数式が使える。
- ストリング図が描ける。
- ペースティング図が描ける。
- graphvizグラフが描ける。
構造関係:
- gerbyのような参照が出来る。
- 命題・証明の依存関係が出力可能。
- 指標が書ける。バンドルではなくて散在記述〈scattered description〉が可能。
- 構成手続きが書ける。バンドルではなくて散在記述〈scattered description〉が可能。
- ある程度構造化された証明が書ける。
- 参照引用のための参考文献データベース、参照引用システム
- 目次・索引のようなナビゲーション
参考: