# Using whitespace in TeX informatively to typeset predicate calculus

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...

• @Werner Thank you. Could you write this up as an answer so that I can give you internet points? – user89 May 1 '14 at 5:48

For consistency define a macro for use as your implication. For example,

\newcommand{\simp}{\quad\imp\quad}


which will insert \quad before and after \imp. Alternatively, see What commands are there for horizontal spacing? for alternatives to \quad.