/usr/share/lhs2tex-1.18.1/spacing.fmt is in lhs2tex 1.18.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | %if False
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% spacing.fmt
%
% Formatting sequences of ^ as spaces of different width.
% Note that the default formatting of (^) is affected by this.
%
% Permission is granted to include this file (or parts of this file)
% literally into other documents, regardless of the conditions or
% license applying to these documents.
%
% Andres Loeh, November 2005, ver 1.1
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%endif
%if not lhs2tex_spacing_fmt_read
%let lhs2tex_spacing_fmt_read = True
%
%if style == newcode
%format ^ =
%format ^^ = " "
%format ^^^ = " "
%format ^^^^ = " "
%format ^^. =
%else
%format ^ = " "
%format ^^ = "\;"
%format ^^^ = "\quad "
%format ^^^^ = "\qquad "
%format ^^. = ^^ "."
%endif
%endif
|