images/math/overleftrightarrow.xpm \
images/math/overline.xpm \
images/math/overrightarrow.xpm \
+ images/math/overset.xpm \
images/math/parallel.xpm \
images/math/partial.xpm \
images/math/perp.xpm \
images/math/underline.xpm \
images/math/underrightarrow.xpm \
images/math/underscore.xpm \
+ images/math/underset.xpm \
images/math/uparrow.xpm \
images/math/uparrow2.xpm \
images/math/updownarrow.xpm \
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"29 19 3 1",
+" c #000000",
+". c #000000",
+"X c None",
+/* pixels */
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.X.X.X.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.XXXXX.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.X.X.X.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.X.X.X.X.X.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.X.X.X.X.X.XXXXXXXXX"
+};
--- /dev/null
+/* XPM */
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"29 19 3 1",
+" c #000000",
+". c #000000",
+"X c None",
+/* pixels */
+"XXXXXXXXX.X.X.X.X.X.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.XXXXXXXXX.XXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXX.X.X.X.X.X.XXXXXXXXX"
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.X.X.X.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.XXXXX.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+"XXXXXXXXXXX.X.X.X.XXXXXXXXXXX",
+"XXXXXXXXXXXXXXXXXXXXXXXXXXXXX",
+};
"underleftrightarrow", "overleftrightarrow",
"hat", "acute", "bar", "dot",
"check", "grave", "vec", "ddot",
- "breve", "tilde", ""
+ "breve", "tilde", "overset", "underset", ""
};
int const nr_latex_deco = sizeof(latex_deco) / sizeof(char const *) - 1;