symbolic subtraction
[c] = subf(a, b)
character strings
c = subf("a", "b")
performs a symbolic subtraction and returns the
character string c
which is "a-b"
. Trivial
simplifications such as subf("0","a")
or
subf("1","2")
are performed.