feat: 9.5.9

stex/gifs/Makefile

@@ -0,0 +1,54 @@
+gifs = ghostRightarrow.gif
+
+density=-r90x90
+
+.SUFFIXES:
+.SUFFIXES: .tex .gif
+
+# translate ps file to ppm, crop to minimum background, and translate ppm
+# to gif with white (background) transparent
+#
+.tex.gif:
+	echo | latex $* &&\
+          dvips -f < $*.dvi |\
+          gs -q -dNOPAUSE -dSAFER -sDEVICE=ppmraw -sOutputFile=-\
+          ${density} - |\
+          pnmcrop |\
+          ppmtogif -transparent white > $*.gif
+	/bin/rm -f $*.dvi $*.log *.aux
+	test -f $*.gif && chmod 644 $*.gif
+
+all: ${gifs}
+
+# make ghostRightarrow.gif a completely transparent version of Rightarrow.ps
+#
+# translate ps to gif as above but w/o making white transparent, map black
+# to white, convert to ppm, and convert back to gif with white transparent
+#
+# could skip intermediate conversion to gif if we could map black to white
+# with some ppm tool
+#
+# it seems like should be able to replace last three steps with
+#    giftrans -g '#000000=#ffffff' -t '#ffffff'
+# or at least
+#    giftrans -g '#000000=#ffffff' | giftrans -t '#ffffff'
+# but giftrans changes only the first white color it sees, not all
+#
+ghostRightarrow.gif: Rightarrow.tex
+	echo | latex Rightarrow &&\
+          dvips -f < Rightarrow.dvi |\
+          gs -q -dNOPAUSE -dSAFER -sDEVICE=ppmraw -sOutputFile=-\
+          ${density} - |\
+          pnmcrop |\
+          ppmtogif |\
+          giftrans -g '#000000=#ffffff' |\
+          giftopnm |\
+          ppmtogif -transparent white > $*.gif
+	/bin/rm -f Rightarrow.dvi Rightarrow.log Rightarrow.aux
+	test -f $*.gif && chmod 644 $*.gif
+
+clean:
+	rm -f *.log *.aux *.dvi Make.out
+
+distclean: clean
+	rm -f *.gif

stex/gifs/Rightarrow.tex

@@ -0,0 +1,5 @@
+\documentclass[12pt]{article}
+\begin{document}
+\pagestyle{empty}
+$\Rightarrow$
+\end{document}