gummi 释义： gummi Gummi是一种Latex编辑器，基于C/GTK+实现，运行于Linux平台。Gummi的设计原则是简单实用，提供简洁的操作和丰富的Latex特性。Gummi基于开源软件的MIT协议发布。 参见百度百科介绍 拉丁语 树胶
