20 Nov 2010 at 06:44 #1 A2Z A2Z Soldato Joined 9 May 2005 Posts 9,057 Location Earth How can you type it on a MAC? Thanks
20 Nov 2010 at 09:15 #2 NickK NickK Soldato Joined 13 Jan 2003 Posts 24,820 there's probably a unicode number for it.
20 Nov 2010 at 17:34 #3 A2Z A2Z Soldato OP Joined 9 May 2005 Posts 9,057 Location Earth ¬ "not" symbol Option+L Can someone with a mac please try this? Option and L and let me know if it shows the symbol? Thanks
¬ "not" symbol Option+L Can someone with a mac please try this? Option and L and let me know if it shows the symbol? Thanks
20 Nov 2010 at 17:45 #4 Slogan Slogan Soldato Joined 27 Jun 2006 Posts 6,357 ¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬ Yes.
20 Nov 2010 at 19:29 #6 Culinia Culinia Associate Joined 10 Jan 2010 Posts 662 Sry I was just wondering - what is that symbol used for. What is it? Looks like some long division sign to me but ^^
Sry I was just wondering - what is that symbol used for. What is it? Looks like some long division sign to me but ^^
21 Nov 2010 at 09:12 #7 NickK NickK Soldato Joined 13 Jan 2003 Posts 24,820 It's used in Z and means 'not' within predicates. I did 3 years of Z as part of my software engineering degree.
It's used in Z and means 'not' within predicates. I did 3 years of Z as part of my software engineering degree.
