Unicode Congruence

[phil]

I can't find, anyone know the unicode symbol
CONGRUENT.
either tilde over equal or triple
tidde would do.
Thanks.

[John Machin]

phil wrote:

I can't find,
Having looked where?
anyone know the unicode symbol
CONGRUENT.
either tilde over equal or triple
tidde would do.
Thanks.

Go to

http://www.unicode.org

click on:
Where is my Character?

follow your nose till you get to:

http://www.unicode.org/charts/symbols.html

What you need is:

http://www.unicode.org/charts/PDF/U2200.pdf

[phil]

Thanks.
I did search that site but, wow, huge.
That page had no reference to congruence
and the pdf did not contain the pattern
congru.
But I'll have some better ideas how to search next
time.
thanx
I used \u2245 btw

John Machin wrote:

phil wrote:

I can't find,

Having looked where?

anyone know the unicode symbol
CONGRUENT.
either tilde over equal or triple
tidde would do.
Thanks.

Go to

http://www.unicode.org

click on:
Where is my Character?

follow your nose till you get to:

http://www.unicode.org/charts/symbols.html

What you need is:

http://www.unicode.org/charts/PDF/U2200.pdf

[John Machin]

phil top-posted

Thanks.
I did search that site but, wow, huge.
Searched how????

1. If you use their own search box, the first hit is U+2A6D CONGRUENT
WITH DOT ABOVE

The U2A00.pdf entry for U+2A6D does refer back to U+2245
2. The "where is my character" page also says: "You can also do a text
search in the online Unicode NamesList."

which gives you:

2A6D CONGRUENT WITH DOT ABOVE
x (approximately equal to - 2245)

That page had no reference to congruence
and the pdf did not contain the pattern
congru.
So do your bit towards making the world a better place by e-mailing
unicode.org and suggesting (1) that the description for 2245 be
augmented (2) that in general where they have a character named
"<whizzbang> WITH <add-on(s)>" it would be a good idea to check that the
basic <whizzbang> character is actually so described.

But I'll have some better ideas how to search next
time.
thanx
I used \u2245 btw

Cheers,
John