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.