I am using this set of macros to write up some predicate calculus notes.
The issue I am having is that in the math environment of LaTeX, things are automatically spaced in ways that are not most convenient for reading when dealing with predicate calculus. In particular, I am sorely missing the ability to manually use horizontal whitespace to delineate operators in order to allow the eye to automatically understand precedence.
Here's an example:
let's say I want to write the following statement:
x /\ y /\ z => a
In order to make it unambiguous, I could put in parantheses:
(x /\ y /\ z) => a
Or I could put in white space, along with making the operator slightly larger (which I am not able to show here):
x /\ y /\ y /\ z => a
I prefer the last option sometimes, if I would have to use too many parentheses otherwise. How can I get LaTeX to help? This was something that was easy to do in a WYSIWYG editor...