No, but I can enter an infix formula, e.g. F,v,x,m,b,k (F - b v - k x) / m For Lisp, I have to define a function using defun and make it available to the

No, but I can enter an infix formula, e.g. F,v,x,m,b,k (F - b v - k x) / m For Lisp, I have to define a function using defun and make it available to the system. I'll add some new tutorials and a FAQ once I've got the new type system working, which is taking me longer than I expected.