例えば、[[リーマン曲率テンソル]]の公式を以下のようにプログラムとしてそのまま記述できる。