シンボリックな減算
[c] = subf(a, b)
文字列
c = subf("a", "b") はシンボリックな減算を行い, 文字列cに"a-b"を返します. subf("0","a") または subf("1","2") のような簡単化が行われます.
c = subf("a", "b")
c
"a-b"
subf("0","a")
subf("1","2")
subf('0','a') subf('2','1') subf('a','0')
subf