| View previous topic :: View next topic |
| Author |
Message |
marcevm Newbie

Joined: 21 Mar 2007 Posts: 2
|
Posted: Wed Mar 21, 2007 7:33 pm Post subject: Symbol "not exists" |
|
|
Is there a simple way of writing the symbol of "not exits"? Sorry, but I speak Spanish and it's difficult for me to find this in the forum.
Thanks |
|
| Back to top |
|
 |
bobharvey Super User

Joined: 23 Apr 2004 Posts: 1075 Location: Lincolnshire
|
Posted: Thu Mar 22, 2007 1:25 am Post subject: |
|
|
What symbol do you mean?
I am familiar with ∃ meaning "there exists", it is unicode character 8707 . You can enter it by typing 'exists' into the formula definition window. I have never come across a negated version of it.
{some browswers may not work with unicode - the symbol is a sans-serif 'E' printed in reverse (mirrored)}
There is an issue asking for the ability to overstrike characters:
http://qa.openoffice.org/issues/show_bug.cgi?id=31460
Until that happy day, you need to precede 'exists' with a negation operator that makes sense to you, or use line drawing tools to position a slash over the letter once you have returned to the enclosing document.
or try one of these: | Code: | exists^"not"
exists_"not"
size/2"not"size*1 exists |
|
|
| Back to top |
|
 |
Robert Tucker Moderator


Joined: 16 Aug 2004 Posts: 3367 Location: Manchester UK
|
|
| Back to top |
|
 |
RGB Super User


Joined: 25 Nov 2003 Posts: 1743 Location: In Lombardy, near a glass of red Tuscany wine
|
|
| Back to top |
|
 |
marcevm Newbie

Joined: 21 Mar 2007 Posts: 2
|
Posted: Fri Mar 23, 2007 5:59 am Post subject: |
|
|
Thanks !!
I had Lucida Sans Unicode installed and it contained this symbol.
I added the symbol following the steps!! |
|
| Back to top |
|
 |
esperantisto Super User

Joined: 26 Dec 2003 Posts: 772 Location: Belarus
|
Posted: Fri Mar 23, 2007 7:50 am Post subject: |
|
|
| FYI, DejaVu fonts also contain that symbol (and generally a good subset of math symbols). |
|
| Back to top |
|
 |
|