In logic, a vertical bar or hat sign is often placed on top of a variable to indicate the not operator. Could somebody please tell me how to do this in LaTex/Tex? Robert Sherry