OpenOffice.org Forum at OOoForum.orgThe OpenOffice.org Forum
 
 [Home]   [FAQ]   [Search]   [Memberlist]   [Usergroups]   [Register
 [Profile]   [Log in to check your private messages]   [Log in

Symbol "not exists"

 
Post new topic   Reply to topic    OOoForum.org Forum Index -> OpenOffice.org Math
View previous topic :: View next topic  
Author Message
marcevm
Newbie
Newbie


Joined: 21 Mar 2007
Posts: 2

PostPosted: Wed Mar 21, 2007 7:33 pm    Post subject: Symbol "not exists" Reply with quote

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
View user's profile Send private message
bobharvey
Super User
Super User


Joined: 23 Apr 2004
Posts: 1075
Location: Lincolnshire

PostPosted: Thu Mar 22, 2007 1:25 am    Post subject: Reply with quote

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
View user's profile Send private message
Robert Tucker
Moderator
Moderator


Joined: 16 Aug 2004
Posts: 3407
Location: Manchester UK

PostPosted: Thu Mar 22, 2007 1:42 am    Post subject: Reply with quote

Unicode U+2204 (8708):

www.fileformat.info/info/unicode/char/2204/index.htm

Fonts supporting it:

www.fileformat.info/info/unicode/char/2204/fontsupport.htm
Back to top
View user's profile Send private message
RGB
Super User
Super User


Joined: 25 Nov 2003
Posts: 1743
Location: In Lombardy, near a glass of red Tuscany wine

PostPosted: Thu Mar 22, 2007 2:23 am    Post subject: Reply with quote

You need to add that symbol to Math:
http://www.oooforum.org/forum/viewtopic.phtml?p=36104#36104
Only change "square" by "non exists" Wink
Back to top
View user's profile Send private message
marcevm
Newbie
Newbie


Joined: 21 Mar 2007
Posts: 2

PostPosted: Fri Mar 23, 2007 5:59 am    Post subject: Reply with quote

Thanks !!

I had Lucida Sans Unicode installed and it contained this symbol.

I added the symbol following the steps!!
Back to top
View user's profile Send private message
esperantisto
Super User
Super User


Joined: 26 Dec 2003
Posts: 779
Location: Belarus

PostPosted: Fri Mar 23, 2007 7:50 am    Post subject: Reply with quote

FYI, DejaVu fonts also contain that symbol (and generally a good subset of math symbols).
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    OOoForum.org Forum Index -> OpenOffice.org Math All times are GMT - 8 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group