To prevent a block of lines from being re-arranged by
the verbatim environment should be used.
You might use this to show a piece of code, for example
1
member(X,[X|_]).
member(X,[_|Y]):-
member(X,Y).
1.3The dspaceoff\dspaceon switch is used to obtain single spacing
in such instances.