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

Re: more on a Times/Symbol implementation of MC/MSP

`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.

Denis

P.-S. I forwarded this to the mathfont list, but I am not sure
it goes through. Please forward it if necessary.