символьное вычитание
[c] = subf(a, b)
символьные строки.
c = subf("a", "b") выполняет символьное вычитание и возвращает символьную строку c, которая равна "a-b". Выполняются такие простейшие упрощения как subf("0","a") или
subf("1","2").