heartsuit.xpm
hookleftarrow.xpm
hookrightarrow.xpm
+ hphantom.xpm
hslash.xpm
imath.xpm
in.xpm
parallel.xpm
partial.xpm
perp.xpm
+ phantom.xpm
phi.xpm
phi2.xpm
pi.xpm
vec.xpm
vee.xpm
veebar.xpm
+ vphantom.xpm
wedge.xpm
widehat.xpm
widetilde.xpm
images/math/heartsuit.xpm \
images/math/hookleftarrow.xpm \
images/math/hookrightarrow.xpm \
+ images/math/hphantom.xpm \
images/math/hslash.xpm \
images/math/imath.xpm \
images/math/in.xpm \
images/math/parallel.xpm \
images/math/partial.xpm \
images/math/perp.xpm \
+ images/math/phantom.xpm \
images/math/phi.xpm \
images/math/phi2.xpm \
images/math/pi.xpm \
images/math/vec.xpm \
images/math/vee.xpm \
images/math/veebar.xpm \
+ images/math/vphantom.xpm \
images/math/wedge.xpm \
images/math/widehat.xpm \
images/math/widetilde.xpm \
--- /dev/null
+/* XPM */
+static char *hphantom[] = {
+/* columns rows colors chars-per-pixel */
+"30 32 5 1",
+" c brown",
+". c #FFFF33340000",
+"X c #41416969E1E1",
+"o c black",
+"O c None",
+/* pixels */
+"ooooOOOooooooOOOoooooOOOoooooo",
+"ooooOOOooooooOOOoooooOOOoooooo",
+"OOOOOOOOOOOOXXXXXXOOOOOOOOOOOO",
+"OOOOOOOOOOOOXXXXXXXOOOOOOOOOOO",
+"OOOOOOOOOOOXXXXXXXXOOOOOOOOOoo",
+"ooOOOOOOOOOXXXXXXXXXOOOOOOOOoo",
+"ooOOOOOOOOXXXXXXXXXXXOOOOOOOoo",
+"ooOOOOOOOOXXXXXXXXXXXOOOOOOOoo",
+"ooOOOOOOOOXXXXXXXXXXXOOOOOOOoo",
+"ooOOOOOOOXXXXXOOOXXXXOOOOOOOoo",
+"ooOOOO OOXXXXXOOOXXXXXO OOOOOO",
+"OOOOO OOXXXXOOOOOXXXXO OOOOO",
+"OOOO OOXXXXXOOOOOXXXXOO OOOO",
+"OOO OOOXXXXXOOOOOXXXXXOO Ooo",
+"oo. OOOXXXXXOOOOOOXXXXXXOO .oo",
+"oo oo",
+"oo. OOOXXXXXOOOOOOOXXXXXOO .oo",
+"ooO OOXXXXOOOOOOOOXXXXXO Ooo",
+"ooOO XXXXXOOOOOOOOXXXXX OOOO",
+"OOOOO XXXXXXXXXXXXXXXX OOOOO",
+"OOOOOX XXXXXXXXXXXXXXXX XOOOOO",
+"OOOOOXXXXXXXXXXXXXXXXXXXXXOOoo",
+"ooOOOXXXXXXXXXXXXXXXXXXXXXOOoo",
+"ooOOXXXXXXXXXXXXXXXXXXXXXXOOoo",
+"ooOOXXXXXOOOOOOOOOOOOOXXXXXOoo",
+"ooOXXXXXXOOOOOOOOOOOOOXXXXXOoo",
+"ooOXXXXXOOOOOOOOOOOOOOXXXXXXoo",
+"OOXXXXXXOOOOOOOOOOOOOOOXXXXXOO",
+"OOXXXXXXOOOOOOOOOOOOOOOXXXXXOO",
+"OOXXXXXOOOOOOOOOOOOOOOOXXXXXOO",
+"ooooooOOOooooooOOOoooooOOOoooo",
+"ooooooOOOooooooOOOoooooOOOoooo",
+};
--- /dev/null
+/* XPM */
+static char *phantom[] = {
+/* columns rows colors chars-per-pixel */
+"30 32 5 1",
+" c brown",
+". c #FFFF33340000",
+"X c #41416969E1E1",
+"o c black",
+"O c None",
+/* pixels */
+"ooooOOOooooooOOOoooooOOOoooooo",
+"ooooOOOooooooOOOoooooOOOoooooo",
+"OOOOOOOOOOOOXX. .XOOOOOOOOOOOO",
+"OOOOOOOOOOOOX XOOOOOOOOOOO",
+"OOOOOOOOOOOX X X OOOOOOOOOoo",
+"ooOOOOOOOOO XX XX OOOOOOOOoo",
+"ooOOOOOOOO XXX XXX OOOOOOOoo",
+"ooOOOOOOOOXXXXX XXXXXOOOOOOOoo",
+"ooOOOOOOOOXXXXX XXXXXOOOOOOOoo",
+"ooOOOOOOOXXXXXX XXXXXOOOOOOOoo",
+"ooOOOO OOXXXXXO OXXXXXO OOOOOO",
+"OOOOO OOXXXXXO OXXXXXO OOOOO",
+"OOOO OOXXXXXOO OOXXXXOO OOOO",
+"OOO OOOXXXXXOO OOXXXXXOO Ooo",
+"oo. OOOXXXXXOOO OOXXXXXXOO .oo",
+"oo oo",
+"oo. OOOXXXXXOOO OOOXXXXXOO .oo",
+"ooO OOXXXXOOOO OOOXXXXXO Ooo",
+"ooOO XXXXXOOOO OOOXXXXX OOOO",
+"OOOOO XXXXXXXX XXXXXXX OOOOO",
+"OOOOOX XXXXXXXX XXXXXXX XOOOOO",
+"OOOOOXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOOXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOXXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOXXXXXOOOOOO OOOOOOXXXXXOoo",
+"ooOXXXXXXO OOO OOO OXXXXXOoo",
+"ooOXXXXXOOO OO OO OOXXXXXXoo",
+"OOXXXXXXOOOO O O OOOOXXXXXOO",
+"OOXXXXXXOOOOO OOOOOXXXXXOO",
+"OOXXXXXOOOOOOO. .OOOOOOXXXXXOO",
+"ooooooOOOooooooOOOoooooOOOoooo",
+"ooooooOOOooooooOOOoooooOOOoooo",
+};
--- /dev/null
+/* XPM */
+static char *vphantom[] = {
+/* columns rows colors chars-per-pixel */
+"30 32 5 1",
+" c brown",
+". c #FFFF33340000",
+"X c #41416969E1E1",
+"o c black",
+"O c None",
+/* pixels */
+"ooooOOOooooooOOOoooooOOOoooooo",
+"ooooOOOooooooOOOoooooOOOoooooo",
+"OOOOOOOOOOOOXX. .XOOOOOOOOOOOO",
+"OOOOOOOOOOOOX XOOOOOOOOOOO",
+"OOOOOOOOOOOX X X OOOOOOOOOoo",
+"ooOOOOOOOOO XX XX OOOOOOOOoo",
+"ooOOOOOOOO XXX XXX OOOOOOOoo",
+"ooOOOOOOOOXXXXX XXXXXOOOOOOOoo",
+"ooOOOOOOOOXXXXX XXXXXOOOOOOOoo",
+"ooOOOOOOOXXXXXX XXXXXOOOOOOOoo",
+"ooOOOOOOOXXXXXO OXXXXXOOOOOOOO",
+"OOOOOOOOOXXXXXO OXXXXXOOOOOOOO",
+"OOOOOOOOXXXXXOO OOXXXXOOOOOOOO",
+"OOOOOOOOXXXXXOO OOXXXXXOOOOOoo",
+"ooOOOOOXXXXXOOO OOXXXXXXOOOOoo",
+"ooOOOOOXXXXXOOO OOOXXXXXOOOOoo",
+"ooOOOOOXXXXXOOO OOOXXXXXOOOOoo",
+"ooOOOOOXXXXOOOO OOOXXXXXOOOOoo",
+"ooOOOOXXXXXOOOO OOOXXXXXOOOOOO",
+"OOOOOOXXXXXXXXX XXXXXXXXXOOOOO",
+"OOOOOXXXXXXXXXX XXXXXXXXXOOOOO",
+"OOOOOXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOOXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOXXXXXXXXXXX XXXXXXXXXXOOoo",
+"ooOOXXXXXOOOOOO OOOOOOXXXXXOoo",
+"ooOXXXXXXO OOO OOO OXXXXXOoo",
+"ooOXXXXXOOO OO OO OOXXXXXXoo",
+"OOXXXXXXOOOO O O OOOOXXXXXOO",
+"OOXXXXXXOOOOO OOOOOXXXXXOO",
+"OOXXXXXOOOOOOO. .OOOOOOXXXXXOO",
+"ooooooOOOooooooOOOoooooOOOoooo",
+"ooooooOOOooooooOOOoooooOOOoooo",
+};
"mathbb N", "mathbb Z", "mathbb Q",
"mathbb R", "mathbb C", "mathbb H",
"mathcal F", "mathcal L",
- "mathcal H", "mathcal O", ""
+ "mathcal H", "mathcal O",
+ "phantom", "vphantom", "hphantom", ""
};
int const nr_latex_misc = sizeof(latex_misc) / sizeof(char const *);