Hello forum,
I'm writing a paper in Latex containing excerpts from ProLog code. The paper that I'm writing is about to be merged with a much bigger paper where all predicates are written in a pseudocode-like form:
Which means that I need \leftarrow, which is only available in math mode. However, even though I am able to insert line breaks wherever I like, I am unable to obtain the initial spacing I require so that "ruleX" is indented in the way that I sketch above. I have tried \quad, \qquad, \hspace{} and the like, but to no avail. All forum posts that I have searched tend to specify examples where horizontal spacing techniques are applied to the equation environment, which is of no use to me.
Any tips? Thanks