[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

# Re: patch for bigdoc.tex, fontchart.sty

• To: math-font-discuss@cogs.susx.ac.uk
• Subject: Re: patch for bigdoc.tex, fontchart.sty
• From: Ulrik Vieth <vieth@thphy.uni-duesseldorf.de>
• Date: Thu, 27 Nov 1997 15:36:23 +0100


> Speaking about the mathematica fonts, looking at the result of
> testdoc.tex with the mathematica layout, I noticed that the accents
> are all wrong, since they live at the baseline, not the x-height,
> in the mathematica fonts. I fixed this by raising all accents to
> the x-height in the vf. I don't have the patch here though.

Yes, I know.  This is another case of built-in expectations about how
fonts are designed.  I avoided this problem in mmaptm by taking most
of the accents (except for vector) from Times Roman instead of MMa.

> Another small thing which went wrong in the last release is the
> order of the new delimiters.

There's another problem with Euler extension layout.  The integrals
and big ops (\sum, \prod, \coprod) should come from euex, not cmex.

> One more thing: Some days ago I saw a request for a mirrored \iota
> on de.comp.text.tex. The requester was quoting W.V.O.Quine with the
> statement that this symbol is used since Peano' for the the'-functor
> (i.e. the functor turning a formula \varphi(x) into a term denoting
> the unique element fulfilling that formula: \inviota x\varphi(x) is
> the' x satisfying \varphi). Since I am working in mathematical logic
> myself, I can confirm the statement. I think \inviota would be a more
> useful addition the the greek half' of MC than the exotic greek numerals
> or \varbeta, which have been removed in the latest release (by Ulriks
> reorganization of MC/MSP/MS1). If wanted, I can dig up references for
> the actual use of \inviota in the literature.

I suppose this \inviota would have a similar role as the \backepsilon
(such that') and would exist only in one shape if available at all?

> So what do you think ?

If it is a well-established notation, why not?  I have no idea how
many users there are in the specific field of mathematical logic,
but I suppose the use of \eth and \thorn for some special kinds of
differentials in quantum field theory is equally rare.  (Although
the latter could, if necessary, always be taken from a T1 font.)

Cheers, Ulrik.

`