标签: java text latex text-processing tex
所以我尝试过使用tokenizer,但我只能弄清楚如何在java中替换或删除单个分隔符。
喜欢这个输入: \ box {盒装字} {\ boldface这一行以粗体显示。 }
我希望能够删除\ box以及我必须遵循的一些其他指导原则: 我们要应用的规则非常简单。
答案 0 :(得分:0)
(IMO)明智的方法是使用独立的TeX文本(或TeX到HTML)转换器。应该: