將帶有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}