将带有unicode字符的字符串（例如→，∧，¬）转换为乳胶所示的字符串？

Question

他们是python中的一种方式或方法，它能够将逻辑符号作为unicode字符出现的字符串转换为乳胶代码：

方法：

str1 = '¬q→ ¬p→q'

进入

str1_tex = '$\neg q\rightarrow \neg p\rightharrow q'

或者

str2 = 'q∧ q'

进入

str2_tex = '$q \wedge q$'

Answer 1

这是可能的。 查看以下存储库： https ://github.com/mennucc/unicode2latex

或者，您可以使用字典自己定义所有内容。

Answer 2

如果您使用 lualatex 或 xelatex 等支持 unicode 的引擎进行编译，则可以避免转换字符串的麻烦：

% !TeX TS-program = lualatex

\documentclass{article}

\usepackage{unicode-math}

\begin{document}

\[
¬q→ ¬p→q
\]

\[
\neg q\rightarrow \neg p\rightarrow q
\]

\end{document}