LaTeX.org

Thanks a lot for your input. As it turns out, the people I work with had already design an environment based on \arraycolsep with aim just to address the problem of flexibility with spacing in math mode.

I will use verbatim when I need more flexibility, though.

Marking this solved.

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:

head<--
rule1,
rule2,
...,
ruleN.

Which means that I need \leftarrow, which ...