如何引用z3py表达式中的数学符号以用于graphviz标签？
我正在使用z3py进行一些分析，并生成带有z3py表达式字符串生成的标签的graphviz点文件。但有些符号，如>会给graphviz带来一些错误。e、 g如何引用z3py表达式中的数学符号以用于graphviz标签？,graphviz,z3py,Graphviz,Z3py,我正在使用z3py进行一些分析，并生成带有z3py表达式字符串生成的标签的graphviz点文件。但有些符号，如>会给graphviz带来一些错误。e、 g digraph网络{place0[shape=record label=“place{[p0>0，p1>0]|[p0，p1]}|[]”； 我希望它是如下 digraph网络{place0[shape=record label=“place{[p0\>0，p1\>0]|[p0，p1]}|[]； z3py中有什么方法可以做到这一点吗？我最后做了
digraph网络{place0[shape=record label=“place{[p0>0，p1>0]|[p0，p1]}|[]”；digraph网络{place0[shape=record label=“place{[p0\>0，p1\>0]|[p0，p1]}|[]；