我正在写报告,其中使用了 中的符号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.
有没有什么办法可以解决这个问题?