diff --git a/bundles/org.eclipse.jdt.doc.user/reference/preferences/run-debug/ref-console.htm b/bundles/org.eclipse.jdt.doc.user/reference/preferences/run-debug/ref-console.htm
index dd88326..e7f953d 100644
--- a/bundles/org.eclipse.jdt.doc.user/reference/preferences/run-debug/ref-console.htm
+++ b/bundles/org.eclipse.jdt.doc.user/reference/preferences/run-debug/ref-console.htm
@@ -213,9 +213,11 @@
                     control characters</td>
                 <td colspan="1" valign="top" align="left">This preference will
                     enable interpretation of some ASCII control characters in console.
-                    So far console can interpret backspace (\b) and carriage return
-                    (\r) if enabled. (see next preference for additional option on
-                    carriage return)</td>
+                    So far console can interpret backspace (<code>\b</code>), carriage
+                    return (<code>\r</code>), form feed (<code>\f</code>) and vertical
+                    tab (<code>\v</code>) if enabled. (see next preference for
+                    additional option on carriage return)
+                </td>
                 <td colspan="1" valign="top" align="left">Off</td>
             </tr>
             <tr>