We do not see this as a pointing arrow. It is also not part of the expression $5 off. It is a technical expression in its own right, suggested meaning “then”. Our consensus is that it has been transcribed correctly. (There is a dot error in the comma following off).
