For example, if you were develop-ing a performance-based bid to the Air Force, you should read Air Force Instruction 63-124 (April 1, 1999), âPer-formance-Based Service Contracts.â These guides are widely available on federal Web sites.
The proofreader uses a series of symbols and abbreviations to suggest changes, correct spelling errors, improve punctuation, and generally enhance the quality and readability of a hard copy document. Locating proofreading marks. In hard copy proofreading, corrections typically appear in the left or right margins beside the line containing the error. A mark is also placed in the text to indicate where the correction needs to be made. A caret (^) indicates an addition, and a line through the text indicates a deletion or a replacement. Proofreading marks are traditionally written in red ink for better visibility. Frequently used proofreading marks. Delete: , , or
The logical negation symbol is used in Boolean algebra to indicate that the truth value of the statement that follows is reversed. The symbol resembles a dash with a 'tail' (Â¬). The arithmetic subtraction symbol (-) or tilde (~) are also used to indicate logical negation.