这学期上课要用latex写数理逻辑作业,十分烦人,因为texstudio的非键盘数学公式写起来实在是太烦人了,又臭又长,所以自己用py写了一个小的latex数学公式转换器。
不定期更新。目前是V2.0
简单介绍一下功能:
输入:一行要转换成latex公式的自然语言字符串,所有非公式部分必须为纯中文
输出:可能多行(如果有\newline的话)变成了latex公式的字符串
输入过程可以重复进行,不必每输入一次就重启一次程序
样例输入:12对任意命题A,A|=t,则t->h \n
样例输出:\newline \n \indent \n 对任意命题$A$,$A \models t$,则$t \leftarrow h$ \n
功能实现顺序:
1.在字符串最开头写1会转换为\newline \n
2.在字符串开头的1后面写2(可以没有1)会转换为\indent \n
3.程序会自动将除了1、2以外的字符串按照中文/非中文的区别分段(注意,中文句号和逗号算入中文),然后对所有非中文的部分两端加上"$"
4.通过修改程序内部的表ls1可以自定义某些翻译方式,如将输入中的英文laplace翻译为$\bigtriangle$,将>=翻译为$\leq$,但注意目前只能实现英文/字符串的翻译(否则会和中文区分自动添加$法混淆)
5.把字符串中出现过的所有flow(大/小写字母)自动转化为\mathscr{大写字母}(花体)(这个功能是为了数理逻辑作业特别设计的)
从