Grab zrhax.mtx and friends from somewhere. They're useful.

[doc/texmf] / zrvhax.mtx

diff --git a/zrvhax.mtx b/zrvhax.mtx
new file mode 100644 (file)
index 0000000..6270feb
--- /dev/null
+++ b/zrvhax.mtx
@@ -0,0 +1,73 @@
+\relax
+
+% This metrics file is loaded after having read the cmex glyps.
+% We unset the big operators that should be taken from Symbol
+% or from a scaled-down version of cmex.
+
+\metrics
+
+\setint{psy-textscale}{1000}
+\setint{psy-displayscale}{1440}
+
+\unsetglyph{circledotdisplay}
+\unsetglyph{circledottext}
+\unsetglyph{circlemultiplydisplay}
+\unsetglyph{circlemultiplytext}
+\unsetglyph{circleplusdisplay}
+\unsetglyph{circleplustext}
+\unsetglyph{contintegraldisplay}
+\unsetglyph{contintegraltext}
+\unsetglyph{integraldisplay}
+\unsetglyph{integraltext}
+\unsetglyph{intersectiondisplay}
+\unsetglyph{intersectiontext}
+\unsetglyph{logicalanddisplay}
+\unsetglyph{logicalandtext}
+\unsetglyph{logicalordisplay}
+\unsetglyph{logicalortext}
+\unsetglyph{uniondisplay}
+\unsetglyph{unionmultidisplay}
+\unsetglyph{unionmultitext}
+\unsetglyph{unionsqdisplay}
+\unsetglyph{unionsqtext}
+\unsetglyph{uniontext}
+
+\resetglyph{summationtext}
+   \glyph{summation}{\int{psy-textscale}}
+\endresetglyph
+
+\resetglyph{summationdisplay}
+   \glyph{summation}{\int{psy-displayscale}}
+\endresetglyph
+
+\resetglyph{producttext}
+   \glyph{product}{\int{psy-textscale}}
+\endresetglyph
+
+\resetglyph{productdisplay}
+   \glyph{product}{\int{psy-displayscale}}
+\endresetglyph
+
+\resetglyph{coproducttext}
+   \moveup{\neg{\depth{producttext}}}
+   \glyphrule{
+      \width{producttext}
+   }{
+      \add{\height{producttext}}{\depth{producttext}}
+   }
+   \moveup{\depth{producttext}}
+   \glyphwarning{missing glyph `coproducttext'}
+\endresetglyph
+
+\resetglyph{coproductdisplay}
+   \moveup{\neg{\depth{productdisplay}}}
+   \glyphrule{
+      \width{productdisplay}
+   }{
+      \add{\height{productdisplay}}{\depth{productdisplay}}
+   }
+   \moveup{\depth{productdisplay}}
+   \glyphwarning{missing glyph `coproductdisplay'}
+\endresetglyph
+
+\endmetrics