[Blindmath] Nemeth equivolent for Logical Not

Rose engs0006 at umn.edu
Thu Dec 19 20:12:57 UTC 2013


On page 133 Rule XIX Section 137 it states:
Tilde: This sign of operation is used predominately in logic with the 
meaning of /not. /dots (4, 156)

The logical not symbol that you show is the "half turnstile looking" 
logical not and I know that this does not translate correctly with any 
translation software that I have used. I have seen some transcribers 
substitute the tilde, but what ever is being used will need to be 
defined for you on a special symbols page/notes etc.


Rose


On 12/19/2013 1:57 PM, Kevin Fjelsted wrote:
> It would appear that the list doesn't permit me to email the actual print symbol. If I email it to myself with gmail, the symbol is preserved.
>
> However I had pasted it into the original post and I see that in the reply my original message omits the symbol.
> This is an example of the "not" symbol on the web that appears to render.
> http://www.proofwiki.org/wiki/Symbols:Logical_Operators#Not
> It would surprise me that such an important logical symbol would have been left out of the Nemeth definition.
>
>
> -Kevin
>
>
> On Dec 19, 2013, at 1:32 PM, Rose <engs0006 at umn.edu> wrote:
>
>> Hi,
>> I think it depends on how the logical not sign is represented in print. If it is represented as a tilde ~ then it would translate as that ... dots (4, 156), but sometimes the print will use what looks like "half turnstile"  which looks to me like a left pointing arrow with only a straight left lower barb, this symbol is not in the Nemeth code, but I have seen it transcribed as the arrow it looks like dots (1246, 6, 1256) or simply as the "shape indicator n" dots (1246, 1345).
>>
>> My guess is that the print has it as what looks like a "half turnstile" and duxbury is not translating it correctly. I hope this helps.
>>
>>
>> On 12/19/2013 12:28 PM, Kevin Fjelsted wrote:
>>> I would like clarification on the Nemeth contraction/symbol for producing the logical not "�".
>>> The Latex equivalent is \lnot.
>>> I cannot find any reference for the Nemeth. Duxbury appears to translate latex \lnot as dots 4-3456.
>>> Is this correct?
>>> If so, where is this  contraction listed in the Nemeth reference?
>>> -Kevin
>>>
>>>
>>> _______________________________________________
>>> Blindmath mailing list
>>> Blindmath at nfbnet.org
>>> http://nfbnet.org/mailman/listinfo/blindmath_nfbnet.org
>>> To unsubscribe, change your list options or get your account info for Blindmath:
>>> http://nfbnet.org/mailman/options/blindmath_nfbnet.org/engs0006%40umn.edu
>>> BlindMath Gems can be found at <http://www.blindscience.org/blindmath-gems-home>
>> -- 
>> Rose Engstrom	
>> Document Conversion Assistant
>> Disability Services
>> University of Minnesota
>> McNamara Alumni Center, Suite 180
>> 200 Oak Street SE
>> Minneapolis, MN 55455-2002
>> cell: (612) 462-5484
>> Voice: (612) 624-2650
>> http://diversity.umn.edu/disability
>> This communication, together with any attachments hereto or links contained herein, is for the sole use of the intended recipient(s) and may contain information that is confidential or legally protected. If you are not the intended recipient, you are hereby notified that any review, disclosure, copying, dissemination, distribution or use of this communication is STRICTLY PROHIBITED.  If you have received this communication in error, please notify the sender immediately by return e-mail message and delete the original and all copies of the communication, along with any attachments hereto or links herein, from your system.
>>
>>
>> _______________________________________________
>> Blindmath mailing list
>> Blindmath at nfbnet.org
>> http://nfbnet.org/mailman/listinfo/blindmath_nfbnet.org
>> To unsubscribe, change your list options or get your account info for Blindmath:
>> http://nfbnet.org/mailman/options/blindmath_nfbnet.org/kfjelsted%40gmail.com
>> BlindMath Gems can be found at <http://www.blindscience.org/blindmath-gems-home>
>
> _______________________________________________
> Blindmath mailing list
> Blindmath at nfbnet.org
> http://nfbnet.org/mailman/listinfo/blindmath_nfbnet.org
> To unsubscribe, change your list options or get your account info for Blindmath:
> http://nfbnet.org/mailman/options/blindmath_nfbnet.org/engs0006%40umn.edu
> BlindMath Gems can be found at <http://www.blindscience.org/blindmath-gems-home>

-- 
Rose Engstrom	
Document Conversion Assistant
Disability Services
University of Minnesota
McNamara Alumni Center, Suite 180
200 Oak Street SE
Minneapolis, MN 55455-2002
cell: (612) 462-5484
Voice: (612) 624-2650
http://diversity.umn.edu/disability
  
This communication, together with any attachments hereto or links contained herein, is for the sole use of the intended recipient(s) and may contain information that is confidential or legally protected. If you are not the intended recipient, you are hereby notified that any review, disclosure, copying, dissemination, distribution or use of this communication is STRICTLY PROHIBITED.  If you have received this communication in error, please notify the sender immediately by return e-mail message and delete the original and all copies of the communication, along with any attachments hereto or links herein, from your system.




More information about the BlindMath mailing list