[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: more on a Times/Symbol implementation of MC/MSP
- To: firstname.lastname@example.org (Ulrik Vieth)
- Subject: Re: more on a Times/Symbol implementation of MC/MSP
- From: "Denis B. Roegel" <Denis.Roegel@loria.fr>
- Date: Fri, 10 Oct 1997 15:41:24 +0200 (MET DST)
- Cc: email@example.com, firstname.lastname@example.org
`Ulrik Vieth' wrote
> P.S. Still another question: Should the \backepsilon be included
> in both upright and italics greek? I'm unfamilar with who uses
> this symbol and what for. (Adobe Symbol calls it `suchthat'.)
It was used in set theory, but only a long time ago, as far as I know.
\backepsilon was introduced by Peano (see Peano, The principles
of arithmetic, presented by a new method (1889), originally in latin,
translated in english in Jean Van Heijenoort, From Frege to Goedel,
1967, page 90.)
Peano gives as example
\backepsilon < y
to mean "the x's such that x<y". Some more modern writers,
such as Quine, write
x \backepsilon x < y
for the previous example.
P.-S. I forwarded this to the mathfont list, but I am not sure
it goes through. Please forward it if necessary.