I'm trying to use inference
from semantic
package to describe static semantics of a language.
I would like to separate nonterminals in inference rules with spaces without inserting them by hand.
Is there a way to automatically separate the words SimpleExpr_1 RelOper SimpleExpr_2
from following code with spaces, as if it was written as SimpleExpr_1\ RelOper\ SimpleExpr_2
?
\inference
{\Gamma \vdash Expr_1 : \textsc{Integer} \quad
\Gamma \vdash Expr_2 : \textsc{Integer}}
{\Gamma \vdash SimpleExpr_1 RelOper SimpleExpr_2 : \textsc{Boolean}}
Edit: I should add, that I tried solution presented here: Making mathmode obey spaces , but for reasons unknown to me it doesn't seem to apply to inference
. Any ideas?