I have kubuntu and set up for greek. I was pressing buttons and can't find the backwards "E" which means "There exists" in mathematics. How can I display this character?

Edit: Also I can't seem to find final sigma in greek.
Thank you

It's not a "backwards E"--It is "Epsilon". Also, It thought that it was the math symbol for summation.....

Do you mean where is it on the keyboard? I would imagine you could find a keyboard map with a Google search.

Two things first of all:

1. The symbol for summation is capital sigma.
2. The backwards E for "there exists" is not an epsilon or any other Greek letter! A sort of epsilon looking character is used for "belongs to" (as in "x belongs to the real numbers").

I have gucharmap installed (this is on Slackware though) and the backwards E is under Latin, but I don't know which font packages are needed to display it. Hmm, one thing I can't find is the upside-down A for "for all".

If you're working on a thesis or some other such document that requires
lots of mathematical symbols I'd suggest you look at LaTeX ...


Cheers,
Tink

As mentioned on http://www.w3.org/TR/html4/sgml/entities.html, there are HTML entities defined for those characters ("there exists" as well as "for all" - see "Mathematical operators").

The text also references a font called Adobe Symbol. Maybe you can try that one? Or isn't it available for Linux?

Otherwise, going for LaTex or for a Unicode encoding may do the trick too.

If you are building formulae in Kformula, get the Esstix font package (ftp://ftp.elsevier.nl/pub/styles/esstix/esstix.zip) which includes every math symbol in use today.

Hi.

See existence property at http://en.wikipedia.org/wiki/Existence_property
cheers, makyo

As you can't seem to understand, he is not talking about the set membership relation (which does not actuall use epsilon, but is pretty close), but about the existence property, whose symbol is a backwards capital latin E without any serifs (and which you can access in latex with "/exists"). This symbol is widely-used in mathematical literature (especially in first-order-logic) where it represents existence quantification (as opposed to universal or unique quantification).

(The following statements hold, provided you have a correctly-configured web browser and the appropriate fonts) It should look something like this: ∃

Epsilon (capital and lowercase) look like this: Ε ε

Set membership, which you seem to know about looks like this: ∈

A symbol rarely used in common literature is the backwards lowercase epsilon (which denotes “such that” but whose use has been dropped in favor of that of a colon or vertical bar), which looks like this: ∍