- What is the infix logic format for first order logic, that can be
passed to the logic function. According to the specs (logic "forall(x,
P(x))") should work, but that fails, as well as anything else I've tried.
> (logic "forall(x, P(x))")
*** - Bad syntax for infix expression: (FORALL (|(| $X |,| (P $X)) |)|)