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

  • 2
    See What commands are there for horizontal spacing? (possible duplicate). You should define a spacing command like \newcommand{\implyspace}{\quad} which would allow you to easily modify it throughout your document (following the advice referenced in Consistent typography). Alternatively (perhaps better), define your operator (say) \newcommand{\simp}{\quad\imp\quad}.
    – Werner
    May 1 '14 at 5:43
  • @Werner Thank you. Could you write this up as an answer so that I can give you internet points?
    – bzm3r
    May 1 '14 at 5:48

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


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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.