如何更改 lhs2tex 输出中的字体

如何更改 lhs2tex 输出中的字体

lhs2tex 的文档显示,默认情况下使用衬线字体作为预处理器的输出(http://www.andres-loeh.de/lhs2tex/Guide2-1.17.pdf):

所需字体

但是,当我运行时lhs2tex --poly input.lhs > out.tex;pdflatex out.tex,Haskell 源代码被格式化为计算机现代字体:

输出字体

我的输入文件是

\documentclass{article}
\%include polycode.fmt
\begin{document}
Hello World!

> main :: IO ()
> main = putStrLn "Hello, world!"

\end{document}

答案1

似乎lhs2TeX使用polytablepackake 的对齐方式是由源文件中的空格驱动的.lhs。我能够使用以下方法设置字体

\usepackage{mathpazo}

并将输入调整为

> main  ::   IO()
> main  =    putStrLn "Hello, world!"

解决了对齐问题。

相关内容