Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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

share|improve this question
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 at 5:43
    
@Werner Thank you. Could you write this up as an answer so that I can give you internet points? –  user89 May 1 at 5:48

1 Answer 1

up vote 5 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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