/usr/share/lhs2tex-1.18.1/greek.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 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | %if False
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% greek.fmt
%
% Formatting of Greek characters.
%
% 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_greek_fmt_read
%let lhs2tex_greek_fmt_read = True
%
%if style == poly
%format alpha = "\alpha "
%format beta = "\beta "
%format gamma = "\gamma "
%format delta = "\delta "
%format epsilon = "\varepsilon "
%format zeta = "\zeta "
%format eta = "\eta "
%format theta = "\vartheta "
%format iota = "\iota "
%format kappa = "\kappa "
%format lambda = "\lambda "
%format mu = "\mu "
%format nu = "\nu "
%format omikron = "o"
%format pi = "\pi "
%format rho = "\rho "
%format sigma = "\sigma "
%format tau = "\tau "
%format upsilon = "\upsilon "
%format phi = "\varphi "
%format chi = "\chi "
%format psi = "\psi "
%format omega = "\omega "
%format Alpha = "\mathrm{A}"
%format Beta = "\mathrm{B}"
%format Gamma = "\Gamma "
%format Delta = "\Delta "
%format Epsilon = "\mathrm{E}"
%format Zeta = "\mathrm{Z}"
%format Eta = "\mathrm{H}"
%format Theta = "\Theta "
%format Iota = "\mathrm{I}"
%format Kappa = "\mathrm{K}"
%format Lambda = "\Lambda "
%format Mu = "\mathrm{M}"
%format Nu = "\mathrm{N}"
%format Xi = "\Xi "
%format Omikron = "\mathrm{O}"
%format Pi = "\Pi "
%format Rho = "\mathrm{P}"
%format Sigma = "\Sigma "
%format Tau = "\mathrm{T}"
%format Upsilon = "\Upsilon "
%format Phi = "\Phi "
%format Chi = "\mathrm{X}"
%format Psi = "\Psi "
%format Omega = "\Omega "
%endif
%endif
|