diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index cc801f71313..20f9813c01a 100644
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -79,7 +79,8 @@ identifiers, for different purposes:
    characters in their names can be surrounded with quotes. Special
    characters may be escaped using ``"\xx"`` where ``xx`` is the ASCII
    code for the character in hexadecimal. In this way, any character can
-   be used in a name value, even quotes themselves.
+   be used in a name value, even quotes themselves. The ``"\01"`` prefix
+   can be used on global variables to suppress mangling.
 #. Unnamed values are represented as an unsigned numeric value with
    their prefix. For example, ``%12``, ``@2``, ``%44``.
 #. Constants, which are described in the section  Constants_ below.