frombt[a = "+-0++0+"] b = tobt@-436 frombt[c = "+-++-"] btmultiply[a, btsubtract[b, c]]