add a formula for "redpen"

RedPen is a proofreading tool to help writers or programmers who write
technical documents or manuals that need to adhere to a writing
standard. RedPen automates the verifications of input documents written
in natural languages.
Use double-quotes everywhere.