lstlisting:配置它以支持 Julia 类型代码

lstlisting:配置它以支持 Julia 类型代码

我正在写报告,其中使用了 中的符号Julia,特别是Catlab.jl。这包含很多与范畴论相关的符号。我阅读了 的文档,lstlisting它不支持 Julia。但我能找到一种变通方法来支持这种语言或符号性质吗?以下是一个例子,可以获得更多见解:

\begin{singlespacing}
\begin{lstlisting}[language=Python,caption={Wiring Diagram: objects and Morphism},label=listing:program]
using Catlab

@present DirectedWiringDiagram(FreeSymmetricMonoidalCategory) begin
    (X, Y, Z, W)::Ob
    f::Hom(X, Y)
    g::Hom(Y, X)
    h::Hom(X⊗Y, Z)
    k::Hom(Z, W⊗X)
end
\end{lstlisting}
\end{singlespacing}

这会在包含符号 ⊗ 的行上引发错误,h::Hom(X⊗Y, Z)内容为k::Hom(Z, W⊗X)

LaTeX Error: Invalid UTF-8 byte "97.
LaTeX Error: Invalid UTF-8 byte sequence (�\expandafter\lst@FillFixed@).
LaTeX Error: Invalid UTF-8 byte "8A.

有没有什么办法可以解决这个问题?

相关内容