Backtick escaping fix

carbon-language · Apr 3, 2024 · d7c481b · d7c481b
1 parent c0c5402
commit d7c481b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/proposals/p3797.md b/proposals/p3797.md
@@ -172,14 +172,16 @@ prefix in order to restrict the lexing impact. In particular:
     -   Consistent with C#.
     -   We've also discussed using a `@` prefix for attributes, similar to
         Python. Similar to `#`, this would be conflicting.
--   <code>\`</code> wrapping, as in <code>\`identifier\`</code>.
+-   `` ` `` wrapping, as in `` `identifier` ``.
 
     -   Consistent with Swift.
     -   We prefer not to use backticks for Carbon syntax so that it is easy to
-        write in Markdown, which uses backticks for inline code. For example,
-        the label for this alternative requires inline html:
+        write in Markdown, which uses backticks for inline code. For example:
 
         ```
+        Use more backticks:
+        `` ` ``
+        Inline HTML:
         <code>\`</code>
         ```