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