Text font changes

Text fonts with arguments start with |...|, e.g., ||, |{\rm \vert}, ||, etc.