Markdown Github Ref
Markdown Github Ref
com/gfm/
1 Introduction
1.1 What is GitHub Flavored Markdown?
1.2 What is Markdown?
1.3 Why is a spec needed?
1.4 About this document
2 Preliminaries
2.1 Characters and lines
2.2 Tabs
2.3 Insecure characters
3 Blocks and inlines
3.1 Precedence
3.2 Container blocks and leaf blocks
4 Leaf blocks
4.1 Thematic breaks
4.2 ATX headings
4.3 Setext headings
4.4 Indented code blocks
4.5 Fenced code blocks
4.6 HTML blocks
4.7 Link reference definitions
4.8 Paragraphs
4.9 Blank lines
4.10 Tables (extension)
5 Container blocks
5.1 Block quotes
5.2 List items
5.3 Task list items (extension)
5.4 Lists
6 Inlines
6.1 Backslash escapes
6.2 Entity and numeric character references
6.3 Code spans
6.4 Emphasis and strong emphasis
6.5 Strikethrough (extension)
6.6 Links
6.7 Images
6.8 Autolinks
6.9 Autolinks (extension)
6.10 Raw HTML
6.11 Disallowed Raw HTML (extension)
6.12 Hard line breaks
6.13 Soft line breaks
6.14 Textual content
Appendix: A parsing strategy
Overview
Phase 1: block structure
Phase 2: inline structure
1 Introduction
1.1 What is GitHub Flav�ed Markdown? ▲
GitHub Flavored Markdown, often shortened as GFM, is the dialect of Markdown that is
currently supported for user content on GitHub.com and GitHub Enterprise.
This formal specification, based on the CommonMark Spec, defines the syntax and semantics
of this dialect.
GFM is a strict superset of CommonMark. All the features which are supported in GitHub user
content and that are not specified on the original CommonMark Spec are hence known as
extensions, and highlighted as such.
While GFM supports a wide range of inputs, it’s worth noting that GitHub.com and GitHub
Enterprise perform additional post-processing and sanitization after GFM is converted to
HTML to ensure security and consistency of the website.
What distinguishes Markdown from many other lightweight markup syntaxes, which are often
easier to write, is its readability. As Gruber writes:
The point can be illustrated by comparing a sample of AsciiDoc with an equivalent sample of
Markdown. Here is a sample of AsciiDoc from the AsciiDoc manual:
$ mv *.sh ~/tmp
.................
+
List item continued with a third paragraph.
b. List item b.
$ ls *.sh
$ mv *.sh ~/tmp
1. This list is nested and does not require explicit item continuation.
2. List item b.
The AsciiDoc version is, arguably, easier to write. You don’t need to worry about indentation.
But the Markdown version is much easier to read. The nesting of list items is apparent to the
eye in the source, not just in the processed document.
1. How much indentation is needed for a sublist? The spec says that continuation
paragraphs need to be indented four spaces, but is not fully explicit about sublists. It
is natural to think that they, too, must be indented four spaces, but Markdown.pl does
not require that. This is hardly a “corner case,” and divergences between
implementations on this issue often lead to surprises for users in real documents. (See
this comment by John Gruber.)
2. Is a blank line needed before a block quote or heading? Most implementations do not
require the blank line. However, this can lead to unexpected results in hard-wrapped
text, and also to ambiguities in parsing (note that some implementations put the
heading inside the blockquote, while others do not). (John Gruber has also spoken in
favor of requiring the blank lines.)
3. Is a blank line needed before an indented code block? (Markdown.pl requires it, but
this is not mentioned in the documentation, and some implementations do not require
it.)
paragraph
code?
4. What is the exact rule for determining when list items get wrapped in <p> tags? Can a
list be partially “loose” and partially “tight”? What should we do with a list like this?
1. one
2. two
3. three
Or this?
1. one
- a
- b
2. two
8. item 1
9. item 2
10. item 2a
6. Is this one list with a thematic break in its second item, or two lists separated by a
thematic break?
* a
* * * * *
* b
7. When list markers change from numbers to bullets, do we have two lists or one? (The
Markdown syntax description suggests two, but the perl scripts and many other
implementations produce one.)
1. fee
2. fie
- foe
- fum
8. What are the precedence rules for the markers of inline structure? For example, is the
following a valid link, or does the code span take precedence ?
9. What are the precedence rules for markers of emphasis and strong emphasis? For
example, how should the following be parsed?
10. What are the precedence rules between block-level and inline-level structure? For
example, how should the following be parsed?
11. Can list items include section headings? (Markdown.pl does not allow this, but does
allow blockquotes to include headings.)
- # Heading
* a
*
* b
13. Can link references be defined inside block quotes or list items?
14. If there are multiple definitions for the same reference, which takes precedence?
[foo]: /url1
[foo]: /url2
[foo][]
result, users are often surprised to find that a document that renders one way on one system
(say, a GitHub wiki) renders differently on another (say, converting to docbook using pandoc).
To make matters worse, because nothing in Markdown counts as a “syntax error,” the
divergence often isn’t discovered right away.
Since this document describes how Markdown is to be parsed into an abstract syntax tree, it
would have made sense to use an abstract representation of the syntax tree instead of HTML.
But HTML is capable of representing the structural distinctions we need to make, and the
choice of HTML for the tests makes it possible to run the tests against an implementation
without writing an abstract syntax tree renderer.
This document is generated from a text file, spec.txt, written in Markdown with a small
extension for the side-by-side tests. The script tools/makespec.py can be used to convert
spec.txt into HTML or CommonMark (which can then be converted into other formats).
2 P�eliminaries
2.1 Characters and lines ▲
Any sequence of characters is a valid CommonMark document.
A character is a Unicode code point. Although some code points (for example, combining
accents) do not correspond to characters in an intuitive sense, all code points count as
characters for purposes of this spec.
This spec does not specify an encoding; it thinks of lines as composed of characters rather
than bytes. A conforming parser may be limited to a certain encoding.
A line is a sequence of zero or more characters other than newline (U+000A) or carriage
return (U+000D), followed by a line ending or by the end of file.
A line ending is a newline (U+000A), a carriage return (U+000D) not followed by a newline, or a
carriage return and a following newline.
A line containing no characters, or a line containing only spaces (U+0020) or tabs (U+0009),
is called a blank line.
A whitespace character is a space (U+0020), tab (U+0009), newline (U+000A), line tabulation
(U+000B), form feed (U+000C), or carriage return (U+000D).
A Unicode whitespace character is any code point in the Unicode Zs general category, or a tab
(U+0009), carriage return (U+000D), newline (U+000A), or form feed (U+000C).
A space is U+0020.
2.2 Tabs ▲
Tabs in lines are not expanded to spaces. However, in contexts where whitespace helps to
define block structure, tabs behave as if they were replaced by spaces with a tab stop of 4
characters.
Thus, for example, a tab can be used instead of four spaces in an indented code block. (Note,
however, that internal tabs are passed through as literal tabs, not expanded to spaces.)
Example 1
→foo→baz→→bim <pre><code>foo→baz→→bim
</code></pre>
Example 2
··→foo→baz→→bim <pre><code>foo→baz→→bim
</code></pre>
Example 3
····a→a <pre><code>a→a
····ὐ→a ὐ→a
</code></pre>
In the following example, a continuation paragraph of a list item is indented with a tab; this
has exactly the same effect as indentation with four spaces would:
Example 4
Example 5
- ·foo <ul>
<li>
→→bar <p>foo</p>
<pre><code> ··bar
</code></pre>
</li>
</ul>
Normally the > that begins a block quote may be followed optionally by a space, which is not
considered part of the content. In the following case > is followed by a tab, which is treated
as if it were expanded into three spaces. Since one of these spaces is considered part of the
delimiter, foo is considered to be indented six spaces inside the block quote context, so we
get an indented code block starting with two spaces.
Example 6
>→→foo <blockquote>
<pre><code> ··foo
</code></pre>
</blockquote>
Example 7
-→→foo <ul>
<li>
<pre><code> ··foo
</code></pre>
</li>
</ul>
Example 8
····foo <pre><code>foo
→bar bar
</code></pre>
Example 9
·- ·foo <ul>
···- ·bar <li>foo
→ ·- ·baz <ul>
<li>bar
<ul>
<li>baz</li>
</ul>
</li>
</ul>
</li>
</ul>
Example 10
#→Foo <h1>Foo</h1>
Example 11
3.1 P�ecedence ▲
Indicators of block structure always take precedence over indicators of inline structure. So,
for example, the following is a list with two items, not a list with one item containing a code
span:
Example 12
- ·`one <ul>
- ·two` <li>`one</li>
<li>two`</li>
</ul>
This means that parsing can proceed in two steps: first, the block structure of the document
can be discerned; second, text lines inside paragraphs, headings, and other block constructs
can be parsed for inline structure. The second step requires information about link
reference definitions that will be available only at the end of the first step. Note that the
first step requires processing lines in sequence, but the second can be parallelized, since the
inline parsing of one block element does not affect the inline parsing of any other.
4 Leaf blocks
This section describes the different kinds of leaf block that make up a Markdown document.
Example 13
Wrong characters:
Example 14
+++ <p>+++</p>
Example 15
=== <p>===</p>
Example 16
-- <p>--
** **
__ __</p>
Example 17
Example 18
····*** <pre><code>***
</code></pre>
Example 19
Foo <p>Foo
····*** ***</p>
Example 20
Example 21
·- ·- ·- <hr ·/>
Example 22
Example 23
Example 24
Example 25
_ ·_ ·_ ·_ ·a <p>_ ·_ ·_ ·_ ·a</p>
<p>a------</p>
a------ <p>---a---</p>
---a---
It is required that all of the non-whitespace characters be the same. So, this is not a thematic
break:
Example 26
·*-* <p><em>-</em></p>
Example 27
- ·foo <ul>
*** <li>foo</li>
- ·bar </ul>
<hr ·/>
<ul>
<li>bar</li>
</ul>
Example 28
Foo <p>Foo</p>
*** <hr ·/>
bar <p>bar</p>
If a line of dashes that meets the above conditions for being a thematic break could also be
interpreted as the underline of a setext heading, the interpretation as a setext heading takes
precedence. Thus, for example, this is a setext heading, not a paragraph followed by a
thematic break:
Example 29
Foo <h2>Foo</h2>
--- <p>bar</p>
bar
When both a thematic break and a list item are possible interpretations of a line, the thematic
break takes precedence:
Example 30
* ·Foo <ul>
* ·* ·* <li>Foo</li>
* ·Bar </ul>
<hr ·/>
<ul>
<li>Bar</li>
</ul>
Example 31
- ·Foo <ul>
- ·* ·* ·* <li>Foo</li>
<li>
<hr ·/>
</li>
</ul>
Simple headings:
Example 32
# ·foo <h1>foo</h1>
## ·foo <h2>foo</h2>
### ·foo <h3>foo</h3>
#### ·foo <h4>foo</h4>
##### ·foo <h5>foo</h5>
###### ·foo <h6>foo</h6>
Example 33
At least one space is required between the # characters and the heading’s contents, unless
the heading is empty. Note that many implementations currently do not require the space.
However, the space was required by the original ATX implementation, and it helps prevent
things like the following from being parsed as headings:
Example 34
Example 35
Example 36
Example 37
Example 38
Example 39
Example 40
foo <p>foo
····# ·bar # ·bar</p>
Example 41
Example 42
# ·foo · <h1>foo</h1>
################################## <h5>foo</h5>
##### ·foo ·##
Example 43
A sequence of # characters with anything but spaces following it is not a closing sequence,
but counts as part of the contents of the heading:
Example 44
Example 45
# ·foo# <h1>foo#</h1>
Example 46
ATX headings need not be separated from surrounding content by blank lines, and they can
interrupt paragraphs:
Example 47
Example 48
Example 49
## · <h2></h2>
# <h1></h1>
### ·### <h3></h3>
more than 3 spaces indentation and any number of trailing spaces. If a line containing a single
- can be interpreted as an empty list items, it should be interpreted this way and not as a
setext heading underline.
The heading is a level 1 heading if = characters are used in the setext heading underline, and a
level 2 heading if - characters are used. The contents of the heading are the result of
parsing the preceding lines of text as CommonMark inline content.
In general, a setext heading need not be preceded or followed by a blank line. However, it
cannot interrupt a paragraph, so when a setext heading comes after a paragraph, a blank line
is needed between them.
Simple examples:
Example 50
Foo ·*bar*
---------
The content of the header may span more than one line:
Example 51
The contents are the result of parsing the headings’s raw content as inlines. The heading’s
raw content is formed by concatenating the lines and removing initial and final whitespace.
Example 52
Example 53
Foo <h2>Foo</h2>
------------------------- <h1>Foo</h1>
Foo
=
The heading content can be indented up to three spaces, and need not line up with the
underlining:
Example 54
···Foo <h2>Foo</h2>
--- <h2>Foo</h2>
<h1>Foo</h1>
··Foo
-----
··Foo
··===
Example 55
····Foo <pre><code>Foo
····--- ---
····Foo Foo
--- </code></pre>
<hr ·/>
The setext heading underline can be indented up to three spaces, and may have trailing spaces:
Example 56
Foo <h2>Foo</h2>
···---- ······
Example 57
Foo <p>Foo
····--- ---</p>
Example 58
Foo <p>Foo
= ·= = ·=</p>
<p>Foo</p>
Foo <hr ·/>
--- ·-
Example 59
Foo ·· <h2>Foo</h2>
-----
Example 60
Foo\ <h2>Foo\</h2>
----
Since indicators of block structure take precedence over indicators of inline structure, the
following are setext headings:
Example 61
`Foo <h2>`Foo</h2>
---- <p>`</p>
` <h2><a ·title="a ·lot</h2>
<p>of ·dashes"/></p>
<a ·title="a ·lot
---
of ·dashes"/>
The setext heading underline cannot be a lazy continuation line in a list item or block quote:
Example 62
Example 63
Example 64
- ·Foo <ul>
--- <li>Foo</li>
</ul>
<hr ·/>
A blank line is needed between a paragraph and a following setext heading, since otherwise
the paragraph becomes part of the heading’s content:
Example 65
Foo <h2>Foo
Bar Bar</h2>
---
But in general a blank line is not required before or after setext headings:
Example 66
Example 67
<p>====</p>
====
Setext heading text lines must not be interpretable as block constructs other than
paragraphs. So, the line of dashes in these examples gets interpreted as a thematic break:
Example 68
Example 69
- ·foo <ul>
----- <li>foo</li>
</ul>
<hr ·/>
Example 70
····foo <pre><code>foo
--- </code></pre>
<hr ·/>
Example 71
If you want a heading with > foo as its literal text, you can use backslash escapes:
Example 72
Compatibility note: Most existing Markdown implementations do not allow the text of setext
headings to span multiple lines. But there is no consensus about how to interpret
Foo
bar
---
baz
We find interpretation 4 most natural, and interpretation 4 increases the expressive power of
CommonMark, by allowing multiline headings. Authors who want interpretation 1 can put a
blank line after the first paragraph:
Example 73
Foo <p>Foo</p>
<h2>bar</h2>
bar <p>baz</p>
---
baz
Authors who want interpretation 2 can put blank lines around the thematic break,
Example 74
Foo <p>Foo
bar bar</p>
<hr ·/>
--- <p>baz</p>
baz
or use a thematic break that cannot count as a setext heading underline, such as
Example 75
Foo <p>Foo
bar bar</p>
* ·* ·* <hr ·/>
baz <p>baz</p>
Example 76
Foo <p>Foo
bar bar
\--- ---
baz baz</p>
An indented code block cannot interrupt a paragraph, so there must be a blank line between a
paragraph and a following indented code block. (A blank line is not needed, however, between
a code block and a following paragraph.)
Example 77
Example 78
Example 79
1. ··foo <ol>
<li>
····- ·bar <p>foo</p>
<ul>
<li>bar</li>
</ul>
</li>
</ol>
The contents of a code block are literal text, and do not get parsed as Markdown:
Example 80
····<a/> <pre><code><a/>
····*hi* *hi*
Example 81
····chunk1 <pre><code>chunk1
····chunk2 chunk2
··
·
·
····chunk3 chunk3
</code></pre>
Any initial spaces beyond four will be included in the content, even in interior blank lines:
Example 82
····chunk1 <pre><code>chunk1
······ ··
······chunk2 ··chunk2
</code></pre>
An indented code block cannot interrupt a paragraph. (This allows hanging indents and the
like.)
Example 83
Foo <p>Foo
····bar bar</p>
However, any non-blank line with fewer than four leading spaces ends the code block
immediately. So a paragraph may occur immediately after indented code:
Example 84
····foo <pre><code>foo
bar </code></pre>
<p>bar</p>
And indented code can occur immediately before and after other kinds of blocks:
Example 85
# ·Heading <h1>Heading</h1>
····foo <pre><code>foo
Heading </code></pre>
------ <h2>Heading</h2>
····foo <pre><code>foo
---- </code></pre>
<hr ·/>
Example 86
Blank lines preceding or following an indented code block are not included in it:
Example 87
<pre><code>foo
···· </code></pre>
····foo
····
Example 88
····foo ·· <pre><code>foo ··
</code></pre>
The line with the opening code fence may optionally contain some text following the code
fence; this is trimmed of leading and trailing whitespace and called the info string. If the info
string comes after a backtick fence, it may not contain any backtick characters. (The reason
for this restriction is that otherwise some inline code would be incorrectly interpreted as
the beginning of a fenced code block.)
The content of the code block consists of all subsequent lines, until a closing code fence of
the same type as the code block began with (backticks or tildes), and with at least as many
backticks or tildes as the opening code fence. If the leading code fence is indented N spaces,
then up to N spaces of indentation are removed from each line of the content (if present). (If a
content line is not indented, it is preserved unchanged. If it is indented less than N spaces, all
of the indentation is removed.)
The closing code fence may be indented up to three spaces, and may be followed only by
spaces, which are ignored. If the end of the containing block (or document) is reached and no
closing code fence has been found, the code block contains all of the lines after the opening
code fence until the end of the containing block (or document). (An alternative spec would
require backtracking in the event that a closing code fence is not found. But this makes
parsing much less efficient, and there seems to be no real down side to the behavior
described here.)
A fenced code block may interrupt a paragraph, and does not require a blank line either
before or after.
The content of a code fence is treated as literal text, not parsed as inlines. The first word of
the info string is typically used to specify the language of the code sample, and rendered in
the class attribute of the code tag. However, this spec does not mandate any particular
treatment of the info string.
Example 89
``` <pre><code><
< ·>
·> </code></pre>
```
With tildes:
Example 90
~~~ <pre><code><
< ·>
·> </code></pre>
~~~
Example 91
`` <p><code>foo</code></p>
foo
``
The closing code fence must use the same character as the opening fence:
Example 92
``` <pre><code>aaa
aaa ~~~
~~~ </code></pre>
```
Example 93
~~~ <pre><code>aaa
aaa ```
``` </code></pre>
~~~
The closing code fence must be at least as long as the opening fence:
Example 94
```` <pre><code>aaa
aaa ```
``` </code></pre>
``````
Example 95
~~~~ <pre><code>aaa
aaa ~~~
~~~ </code></pre>
~~~~
Unclosed code blocks are closed by the end of the document (or the enclosing block quote
or list item):
Example 96
``` <pre><code></code></pre>
Example 97
````` <pre><code>
```
``` aaa
aaa </code></pre>
Example 98
Example 99
``` <pre><code>
··
·· </code></pre>
```
Example 100
``` <pre><code></code></pre>
```
Fences can be indented. If the opening fence is indented, content lines will have equivalent
opening indentation removed, if present:
Example 101
·``` <pre><code>aaa
·aaa aaa
aaa </code></pre>
```
Example 102
··``` <pre><code>aaa
aaa aaa
··aaa aaa
aaa </code></pre>
··```
Example 103
···``` <pre><code>aaa
···aaa ·aaa
····aaa aaa
··aaa </code></pre>
···```
Example 104
····``` <pre><code>```
····aaa aaa
····``` ```
</code></pre>
Closing fences may be indented by 0-3 spaces, and their indentation need not match that of the
opening fence:
Example 105
``` <pre><code>aaa
aaa </code></pre>
··```
Example 106
···``` <pre><code>aaa
aaa </code></pre>
··```
Example 107
``` <pre><code>aaa
aaa ····```
····``` </code></pre>
Example 108
Example 109
~~~~~~ <pre><code>aaa
aaa ~~~ ·~~
~~~ ·~~ </code></pre>
Fenced code blocks can interrupt paragraphs, and can be followed directly by paragraphs,
without a blank line between:
Example 110
foo <p>foo</p>
``` <pre><code>bar
bar </code></pre>
``` <p>baz</p>
baz
Other blocks can also occur before and after fenced code blocks without an intervening
blank line:
Example 111
foo <h2>foo</h2>
--- <pre><code>bar
~~~ </code></pre>
bar <h1>baz</h1>
~~~
# ·baz
An info string can be provided after the opening code fence. Although this spec doesn’t
mandate any particular treatment of the info string, the first word is typically used to
specify the language of the code block. In HTML output, the language is normally indicated by
adding a class to the code element consisting of language- followed by the language name.
Example 112
Example 113
Example 114
Example 115
Info strings for tilde code blocks can contain backticks and tildes:
Example 116
Example 117
There are seven kinds of HTML block, which can be defined by their start and end conditions.
The block begins with a line that meets a start condition (after up to three spaces optional
indentation). It ends with the first subsequent line that meets a matching end condition, or the
last line of the document, or the last line of the container block containing the current
HTML block, if no line is encountered that meets the end condition. If the first line meets both
the start condition and the end condition, the block will contain just that line.
1. Start condition: line begins with the string <script, <pre, or <style (case-insensitive),
followed by whitespace, the string >, or the end of the line.
End condition: line contains an end tag </script>, </pre>, or </style> (case-
insensitive; it need not match the start tag).
4. Start condition: line begins with the string <! followed by an uppercase ASCII letter.
End condition: line contains the character >.
6. Start condition: line begins the string < or </ followed by one of the strings (case-
insensitive) address, article, aside, base, basefont, blockquote, body, caption,
center, col, colgroup, dd, details, dialog, dir, div, dl, dt, fieldset,
figcaption, figure, footer, form, frame, frameset, h1, h2, h3, h4, h5, h6, head,
header, hr, html, iframe, legend, li, link, main, menu, menuitem, nav, noframes,
ol, optgroup, option, p, param, section, source, summary, table, tbody, td, tfoot,
th, thead, title, tr, track, ul, followed by whitespace, the end of the line, the string
>, or the string />.
End condition: line is followed by a blank line.
7. Start condition: line begins with a complete open tag (with any tag name other than
script, style, or pre) or a complete closing tag, followed only by whitespace or the
end of the line.
End condition: line is followed by a blank line.
HTML blocks continue until they are closed by their appropriate end condition, or the last
line of the document or other container block. This means any HTML wi�in an HTML block that
might otherwise be recognised as a start condition will be ignored by the parser and passed
through as-is, without changing the parser’s state.
For instance, <pre> within a HTML block started by <table> will not affect the parser state;
as the HTML block was started in by start condition 6, it will end at any blank line. This can be
surprising:
Example 118
<table><tr><td> <table><tr><td>
<pre> <pre>
**Hello**, **Hello**,
<p><em>world</em>.
_world_. </pre></p>
</pre> </td></tr></table>
</td></tr></table>
In this case, the HTML block is terminated by the newline — the **Hello** text remains
verbatim — and regular parsing resumes, with a paragraph, emphasised world and inline and
block HTML following.
All types of HTML blocks except type 7 may interrupt a paragraph. Blocks of type 7 may not
interrupt a paragraph. (This restriction is intended to prevent unwanted interpretation of
long tags inside a wrapped paragraph as starting HTML blocks.)
Some simple examples follow. Here are some basic HTML blocks of type 6:
Example 119
<table> <table>
··<tr> ··<tr>
····<td> ····<td>
···········hi ···········hi
····</td> ····</td>
··</tr> ··</tr>
</table> </table>
<p>okay.</p>
okay.
Example 120
·<div> ·<div>
··*hello* ··*hello*
·········<foo><a> ·········<foo><a>
Example 121
</div> </div>
*foo* *foo*
Here we have two HTML blocks with a Markdown paragraph between them:
Example 122
</DIV>
The tag on the first line can be partial, as long as it is split where there would be whitespace:
Example 123
Example 124
Example 125
<div> <div>
*foo* *foo*
<p><em>bar</em></p>
*bar*
A partial tag need not even be completed (garbage in, garbage out):
Example 126
Example 127
The initial tag doesn’t even need to be a valid tag, as long as it starts like one:
Example 128
Example 129
Example 130
<table><tr><td> <table><tr><td>
foo foo
</td></tr></table> </td></tr></table>
Everything until the next blank line or end of document gets included in the HTML block. So,
in the following example, what looks like a Markdown code block is actually part of the HTML
block, which continues until a blank line or the end of the document is reached:
Example 131
<div></div> <div></div>
``` ·c ``` ·c
int ·x ·= ·33; int ·x ·= ·33;
``` ```
To start an HTML block with a tag that is not in the list of block-level tags in (6), you must put
the tag by itself on the first line (and it must be complete):
Example 132
Example 133
<Warning> <Warning>
*bar* *bar*
</Warning> </Warning>
Example 134
Example 135
</ins> </ins>
*bar* *bar*
These rules are designed to allow us to work with tags that can function as either block-
level or inline-level tags. The <del> tag is a nice example. We can surround content with
<del> tags in three different ways. In this case, we get a raw HTML block, because the <del>
tag is on a line by itself:
Example 136
<del> <del>
*foo* *foo*
</del> </del>
In this case, we get a raw HTML block that just includes the <del> tag (because it ends with
the following blank line). So the contents get interpreted as CommonMark:
Example 137
<del> <del>
<p><em>foo</em></p>
*foo* </del>
</del>
Finally, in this case, the <del> tags are interpreted as raw HTML inside the CommonMark
paragraph. (Because the tag is not on a line by itself, we get inline HTML rather than an HTML
block.)
Example 138
<del>*foo*</del> <p><del><em>foo</em></del></p>
HTML tags designed to contain literal content (script, style, pre), comments, processing
instructions, and declarations are treated somewhat differently. Instead of ending at the
first blank line, these blocks end at the first line containing a corresponding end tag. As a
result, these blocks can contain blank lines:
Example 139
Example 140
document.getElementById("demo").innerH document.getElementById("demo").innerH
TML ·= ·"Hello ·JavaScript!"; TML ·= ·"Hello ·JavaScript!";
</script> </script>
okay <p>okay</p>
Example 141
<style <style
··type="text/css"> ··type="text/css">
h1 ·{color:red;} h1 ·{color:red;}
p ·{color:blue;} p ·{color:blue;}
</style> </style>
okay <p>okay</p>
If there is no matching end tag, the block will end at the end of the document (or the
enclosing block quote or list item):
Example 142
<style <style
··type="text/css"> ··type="text/css">
foo foo
Example 143
Example 144
- ·<div> <ul>
- ·foo <li>
<div>
</li>
<li>foo</li>
</ul>
The end tag can occur on the same line as the start tag:
Example 145
<style>p{color:red;}</style> <style>p{color:red;}</style>
*foo* <p><em>foo</em></p>
Example 146
Note that anything on the last line after the end tag will be included in the HTML block:
Example 147
<script> <script>
foo foo
</script>1. ·*bar* </script>1. ·*bar*
Example 148
bar bar
···baz ·--> ···baz ·-->
okay <p>okay</p>
Example 149
<?php <?php
?> ?>
okay <p>okay</p>
Example 150
Example 151
<![CDATA[ <![CDATA[
function ·matchwo(a,b) function ·matchwo(a,b)
{ {
··if ·(a ·< ·b ·&& ·a ·< ·0) ·then ·{ ··if ·(a ·< ·b ·&& ·a ·< ·0) ·then ·{
····return ·1; ····return ·1;
Example 152
Example 153
··<div> ··<div>
<pre><code><div>
····<div> </code></pre>
An HTML block of types 1–6 can interrupt a paragraph, and need not be preceded by a blank
line.
Example 154
Foo <p>Foo</p>
<div> <div>
bar bar
</div> </div>
However, a following blank line is needed, except at the end of a document, and except for
blocks of types 1–5, above:
Example 155
<div> <div>
bar bar
</div> </div>
*foo* *foo*
Example 156
Foo <p>Foo
<a ·href="bar"> <a ·href="bar">
baz baz</p>
This rule differs from John Gruber’s original Markdown syntax specification, which says:
The only restrictions are that block-level HTML elements — e.g. <div>, <table>,
<pre>, <p>, etc. — must be separated from surrounding content by blank lines,
and the start and end tags of the block should not be indented with tabs or
spaces.
In some ways Gruber’s rule is more restrictive than the one given here:
Most Markdown implementations (including some of Gruber’s own) do not respect all of
these restrictions.
There is one respect, however, in which Gruber’s rule is more liberal than the one given here,
since it allows blank lines to occur inside an HTML block. There are two reasons for
disallowing them here. First, it removes the need to parse balanced tags, which is expensive
and can require backtracking from the end of the document if no matching end tag is found.
Second, it provides a very simple and flexible way of including Markdown content inside HTML
tags: simply separate the Markdown from the HTML using blank lines:
Compare:
Example 157
<div> <div>
<p><em>Emphasized</em> ·text.</p>
*Emphasized* ·text. </div>
</div>
Example 158
<div> <div>
*Emphasized* ·text. *Emphasized* ·text.
</div> </div>
The main potential drawback is that one can no longer paste HTML blocks into Markdown
documents with 100% reliability. However, in most cases this will work fine, because the
blank lines in HTML are usually followed by HTML block tags. For example:
Example 159
<table> <table>
<tr>
<tr> <td>
Hi
<td> </td>
Hi </tr>
</td> </table>
</tr>
</table>
There are problems, however, if the inner tags are indented and separated by spaces, as then
they will be interpreted as an indented code block:
Example 160
<table> <table>
··<tr>
··<tr> <pre><code><td>
··Hi
····<td> </td>
······Hi </code></pre>
····</td> ··</tr>
</table>
··</tr>
</table>
Fortunately, blank lines are usually not necessary and can be deleted. The exception is inside
<pre> tags, but as described above, raw HTML blocks starting with <pre> can contain blank
lines.
Example 161
Example 162
[foo]
Example 163
[Foo*bar\]]
Example 164
[Foo ·bar]
Example 165
[foo]
Example 166
[foo]
Example 167
[foo]
Example 168
[foo]: <p>[foo]:</p>
<p>[foo]</p>
[foo]
Example 169
[foo]
Example 170
Both title and destination can contain backslash escapes and literal backslashes:
Example 171
Example 172
[foo]: ·url
If there are several matching definitions, the first one takes precedence:
Example 173
[foo]: ·first
[foo]: ·second
Example 174
[Foo]
Example 175
Here is a link reference definition with no corresponding link. It contributes nothing to the
document.
Example 176
[foo]: ·/url
Example 177
[ <p>bar</p>
foo
]: ·/url
bar
This is not a link reference definition, because there are non-whitespace characters after the
title:
Example 178
Example 179
Example 180
This is not a link reference definition, because it occurs inside a code block:
Example 181
[foo]
Example 182
Foo <p>Foo
[bar]: ·/baz [bar]: ·/baz</p>
<p>[bar]</p>
[bar]
However, it can directly follow other block elements, such as headings and thematic breaks,
and it need not be followed by a blank line.
Example 183
Example 184
Example 185
Several link reference definitions can occur one after another, without intervening blank
lines.
Example 186
Link reference definitions can occur inside block containers, like lists and block quotations.
They affect the entire document, not just the container in which they are defined:
Example 187
Whether something is a link reference definition is independent of whether the link reference
it defines is used in the document. Thus, for example, the following document contains just a
link reference definition, and no visible content:
Example 188
[foo]: ·/url
4.8 Paragraphs ▲
A sequence of non-blank lines that cannot be interpreted as other kinds of blocks forms a
paragraph. The contents of the paragraph are the result of parsing the paragraph’s raw
content as inlines. The paragraph’s raw content is formed by concatenating the lines and
removing initial and final whitespace.
Example 189
aaa <p>aaa</p>
<p>bbb</p>
bbb
Example 190
aaa <p>aaa
bbb bbb</p>
<p>ccc
ccc ddd</p>
ddd
Example 191
aaa <p>aaa</p>
<p>bbb</p>
bbb
Example 192
··aaa <p>aaa
·bbb bbb</p>
Lines after the first may be indented any amount, since indented code blocks cannot interrupt
paragraphs.
Example 193
aaa <p>aaa
·············bbb bbb
······································· ccc</p>
ccc
However, the first line may be indented at most three spaces, or an indented code block will
be triggered:
Example 194
···aaa <p>aaa
bbb bbb</p>
Example 195
····aaa <pre><code>aaa
bbb </code></pre>
<p>bbb</p>
Final spaces are stripped before inline parsing, so a paragraph that ends with two or more
spaces will not end with a hard line break:
Example 196
Blank lines at the beginning and end of the document are also ignored.
Example 197
·· <p>aaa</p>
<h1>aaa</h1>
aaa
··
# ·aaa
··
A table is an arrangement of data with rows and columns, consisting of a single header row, a
delimiter row separating the header from the data, and zero or more data rows.
Each row consists of cells containing arbitrary text, in which inlines are parsed, separated
by pipes (|). A leading and trailing pipe is also recommended for clarity of reading, and if
there’s otherwise parsing ambiguity. Spaces between pipes and cell content are trimmed.
Block-level elements cannot be inserted in a table.
The delimiter row consists of cells whose only content are hyphens (-), and optionally, a
leading or trailing colon (:), or both, to indicate left, right, or center alignment
respectively.
Example 198
Cells in one column don’t need to match length, though it’s easier to read if they are.
Likewise, use of leading and trailing pipes may be inconsistent:
Example 199
Include a pipe in a cell’s content by escaping it, including inside other inline spans:
Example 200
The table is broken at the first empty line, or beginning of another block-level structure:
Example 201
Example 202
The header row must match the delimiter row in the number of cells. If not, a table will not be
recognized:
Example 203
The remainder of the table’s rows may vary in the number of cells. If there are a number of
cells fewer than the number of cells in the header row, empty cells are inserted. If there are
greater, the excess is ignored:
Example 204
Example 205
5 Container blocks
A container block is a block that has other blocks as its contents. There are two basic kinds
of container blocks: block quotes and list items. Lists are meta-containers for list items.
We define the syntax for container blocks recursively. The general form of the definition is:
So, we explain what counts as a block quote or list item by explaining how these can be
generated from their contents. This should suffice to define the syntax, although it does not
give a recipe for parsing these constructions. (A recipe is provided below in the section
entitled A parsing strategy.)
1. Basic case. If a string of lines Ls constitute a sequence of blocks Bs, then the result of
prepending a block quote marker to the beginning of each line in Ls is a block quote
containing Bs.
2. Laziness. If a string of lines Ls constitute a block quote with contents Bs, then the
result of deleting the initial block quote marker from one or more lines in which the
next non-whitespace character after the block quote marker is paragraph
continuation text is a block quote with Bs as its content. Paragraph continuation text is text
that will be parsed as part of the content of a paragraph, but does not occur at the
beginning of the paragraph.
3. Consecutiveness. A document cannot contain two block quotes in a row unless there is a
blank line between them.
Example 206
Example 207
Example 208
Example 209
The Laziness clause allows us to omit the > before paragraph continuation text:
Example 210
A block quote can contain some lazy and some non-lazy continuation lines:
Example 211
Laziness only applies to lines that would have been continuations of paragraphs had they
been prepended with block quote markers. For example, the > cannot be omitted in the
second line of
> foo
> ---
Example 212
> - foo
> - bar
Example 213
For the same reason, we can’t omit the > in front of subsequent lines of an indented or
fenced code block:
Example 214
Example 215
Example 216
> foo
> - bar
the - bar is indented too far to start a list, and can’t be an indented code block because
indented code blocks cannot interrupt paragraphs, so it is paragraph continuation text.
Example 217
> <blockquote>
</blockquote>
Example 218
> <blockquote>
> ·· </blockquote>
>·
Example 219
> <blockquote>
> ·foo <p>foo</p>
> ·· </blockquote>
Example 220
Consecutiveness means that if we put these block quotes together, we get a single block
quote:
Example 221
Example 222
Example 223
foo <p>foo</p>
> ·bar <blockquote>
<p>bar</p>
</blockquote>
In general, blank lines are not needed before or after block quotes:
Example 224
However, because of laziness, a blank line is needed between a block quote and a following
paragraph:
Example 225
Example 226
Example 227
It is a consequence of the Laziness rule that any number of initial >s may be omitted on a
continuation line of a nested block quote:
Example 228
Example 229
When including an indented code block in a block quote, remember that the block quote
marker includes both the > and a following space. So five spaces are needed after the >:
Example 230
An �dered list marker is a sequence of 1–9 arabic digits (0-9), followed by either a . character
or a ) character. (The reason for the length limit is that with 10 digits we start seeing
integer overflows in some browsers.)
Exceptions:
1. When the first list item in a list interrupts a paragraph—that is, when it starts on
a line that would otherwise count as paragraph continuation text—then (a) the
lines Ls must not begin with a blank line, and (b) if the list item is ordered, the
start number must be 1.
2. If any line is a thematic break then that line is not a list item.
Example 231
And let M be the marker 1., and N = 2. Then rule #1 says that the following is an ordered list
item with start number 1, and the same contents as Ls:
Example 232
The most important thing to notice is that the position of the text after the list marker
determines how much indentation is needed in subsequent blocks in the list item. If the list
marker takes up two spaces, and there are three spaces between the list marker and the next
non-whitespace character, then blocks must be indented five spaces in order to fall under
the list item.
Here are some examples showing how far content must be indented to be put under the list
item:
Example 233
- ·one <ul>
<li>one</li>
·two </ul>
<p>two</p>
Example 234
- ·one <ul>
<li>
··two <p>one</p>
<p>two</p>
</li>
</ul>
Example 235
·- ····one <ul>
<li>one</li>
·····two </ul>
<pre><code> ·two
</code></pre>
Example 236
·- ····one <ul>
<li>
······two <p>one</p>
<p>two</p>
</li>
</ul>
It is tempting to think of this in terms of columns: the continuation blocks must be indented
at least to the column of the first non-whitespace character after the list marker. However,
that is not quite right. The spaces after the list marker determine how much relative
indentation is needed. Which column this indentation reaches will depend on how the list item
is embedded in other constructions, as shown by this example:
Example 237
Here two occurs in the same column as the list marker 1., but is actually contained in the
list item, because there is sufficient indentation after the last containing blockquote marker.
The converse is also possible. In the following example, the word two occurs far to the right
of the initial text of the list item, one, but it is not considered part of the list item, because it
is not indented far enough past the blockquote marker:
Example 238
Note that at least one space is needed between the list marker and any following content, so
these are not list items:
Example 239
-one <p>-one</p>
<p>2.two</p>
2.two
A list item may contain blocks that are separated by more than one blank line.
Example 240
- ·foo <ul>
<li>
<p>foo</p>
··bar <p>bar</p>
</li>
</ul>
Example 241
1. ··foo <ol>
<li>
····``` <p>foo</p>
····bar <pre><code>bar
····``` </code></pre>
<p>baz</p>
····baz <blockquote>
<p>bam</p>
····> ·bam </blockquote>
</li>
</ol>
A list item that contains an indented code block will preserve empty lines within the code
block verbatim.
Example 242
- ·Foo <ul>
<li>
······bar <p>Foo</p>
<pre><code>bar
······baz
baz
</code></pre>
</li>
</ul>
Note that ordered list start numbers must be nine digits or less:
Example 243
Example 244
Example 245
Example 246
Example 247
2. Item starting wi� indented code. If a sequence of lines Ls constitute a sequence of blocks Bs
starting with an indented code block, and M is a list marker of width W followed by
one space, then the result of prepending M and the following space to the first line of
Ls, and indenting subsequent lines of Ls by W + 1 spaces, is a list item with Bs as its
contents. If a line is empty, then it need not be indented. The type of the list item (bullet
or ordered) is determined by the type of its list marker. If the list item is ordered, then
it is also assigned a start number, based on the ordered list marker.
An indented code block will have to be indented four spaces beyond the edge of the region
where text will be included in the list item. In the following case that is 6 spaces:
Example 248
- ·foo <ul>
<li>
······bar <p>foo</p>
<pre><code>bar
</code></pre>
</li>
</ul>
Example 249
If the first block in the list item is an indented code block, then by rule #2, the contents must
be indented one space after the list marker:
Example 250
Example 251
Note that an additional space indent is interpreted as space inside the code block:
Example 252
Note that rules #1 and #2 only apply to two cases: (a) cases in which the lines to be included
in a list item begin with a non-whitespace character, and (b) cases in which they begin with an
indented code block. In a case like the following, where the first block begins with a three-
space indent, the rules do not allow us to form a list item by indenting the whole thing and
prepending a list marker:
Example 253
···foo <p>foo</p>
<p>bar</p>
bar
Example 254
- ····foo <ul>
<li>foo</li>
··bar </ul>
<p>bar</p>
This is not a significant restriction, because when a block begins with 1-3 spaces indent, the
indentation can always be removed without a change in interpretation, allowing rule #1 to be
applied. So, in the above case:
Example 255
- ··foo <ul>
<li>
···bar <p>foo</p>
<p>bar</p>
</li>
</ul>
3. Item starting wi� a blank line. If a sequence of lines Ls starting with a single blank line
constitute a (possibly empty) sequence of blocks Bs, not separated from each other by
more than one blank line, and M is a list marker of width W, then the result of
prepending M to the first line of Ls, and indenting subsequent lines of Ls by W + 1
spaces, is a list item with Bs as its contents. If a line is empty, then it need not be
indented. The type of the list item (bullet or ordered) is determined by the type of its
list marker. If the list item is ordered, then it is also assigned a start number, based on
the ordered list marker.
Here are some list items that start with a blank line but are not empty:
Example 256
- <ul>
··foo <li>foo</li>
- <li>
··``` <pre><code>bar
··bar </code></pre>
··``` </li>
- <li>
······baz <pre><code>baz
</code></pre>
</li>
</ul>
When the list item starts with a blank line, the number of spaces following the list marker
doesn’t change the required indentation:
Example 257
- ··· <ul>
··foo <li>foo</li>
</ul>
A list item can begin with at most one blank line. In the following example, foo is not part of
the list item:
Example 258
- <ul>
<li></li>
··foo </ul>
<p>foo</p>
Example 259
- ·foo <ul>
- <li>foo</li>
- ·bar <li></li>
<li>bar</li>
</ul>
It does not matter whether there are spaces following the list marker:
Example 260
- ·foo <ul>
- ··· <li>foo</li>
- ·bar <li></li>
<li>bar</li>
</ul>
Example 261
1. ·foo <ol>
2. <li>foo</li>
3. ·bar <li></li>
<li>bar</li>
</ol>
Example 262
* <ul>
<li></li>
</ul>
Example 263
foo <p>foo
* *</p>
<p>foo
foo 1.</p>
1.
4. Indentation. If a sequence of lines Ls constitutes a list item according to rule #1, #2, or
#3, then the result of indenting each line of Ls by 1-3 spaces (the same for each line)
also constitutes a list item with the same contents and attributes. If a line is empty,
then it need not be indented.
Example 264
Example 265
Example 266
Example 267
5. Laziness. If a string of lines Ls constitute a list item with contents Bs, then the result of
deleting some or all of the indentation from one or more lines in which the next non-
whitespace character after the indentation is paragraph continuation text is a list item
with the same contents and attributes. The unindented lines are called lazy continuation
lines.
Example 268
Example 269
Example 270
Example 271
6. That’s a�. Nothing that is not counted as a list item by rules #1–5 counts as a list item.
The rules for sublists follow from the general rules above. A sublist must be indented the
same number of spaces a paragraph would need to be in order to be included in the list item.
Example 272
- ·foo <ul>
··- ·bar <li>foo
····- ·baz <ul>
······- ·boo <li>bar
<ul>
<li>baz
<ul>
<li>boo</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
</ul>
Example 273
- ·foo <ul>
·- ·bar <li>foo</li>
··- ·baz <li>bar</li>
···- ·boo <li>baz</li>
<li>boo</li>
</ul>
Example 274
Example 275
Example 276
- ·- ·foo <ul>
<li>
<ul>
<li>foo</li>
</ul>
</li>
</ul>
Example 277
Example 278
- ·# ·Foo <ul>
- ·Bar <li>
··--- <h1>Foo</h1>
··baz </li>
<li>
<h2>Bar</h2>
baz</li>
</ul>
5.2.1 Motivation
John Gruber’s Markdown spec says the following about list items:
1. “List markers typically start at the left margin, but may be indented by up to three
spaces. List markers must be followed by one or more spaces or a tab.”
2. “To make lists look nice, you can wrap items with hanging indents…. But if you don’t
want to, you don’t have to.”
3. “List items may consist of multiple paragraphs. Each subsequent paragraph in a list
item must be indented by either 4 spaces or one tab.”
4. “It looks nice if you indent every line of the subsequent paragraphs, but here again,
Markdown will allow you to be lazy.”
5. “To put a blockquote within a list item, the blockquote’s > delimiters need to be
indented.”
6. “To put a code block within a list item, the code block needs to be indented twice — 8
spaces or two tabs.”
These rules specify that a paragraph under a list item must be indented four spaces
(presumably, from the left margin, rather than the start of the list marker, but this is not
said), and that code under a list item must be indented eight spaces instead of the usual four.
They also say that a block quote must be indented, but not by how much; however, the
example given has four spaces indentation. Although nothing is said about other kinds of
block-level content, it is certainly reasonable to infer that all block elements under a list
item, including other lists, must be indented four spaces. This principle has been called the
four-space rule.
The four-space rule is clear and principled, and if the reference implementation Markdown.pl
had followed it, it probably would have become the standard. However, Markdown.pl
allowed paragraphs and sublists to start with only two spaces indentation, at least on the
outer level. Worse, its behavior was inconsistent: a sublist of an outer-level list needed two
spaces indentation, but a sublist of this sublist needed three spaces. It is not surprising,
then, that different implementations of Markdown have developed very different rules for
determining what comes under a list item. (Pandoc and python-Markdown, for example, stuck
with Gruber’s syntax description and the four-space rule, while discount, redcarpet, marked,
PHP Markdown, and others followed Markdown.pl’s behavior more closely.)
Unfortunately, given the divergences between implementations, there is no way to give a spec
for list items that will be guaranteed not to break any existing documents. However, the spec
given here should correctly handle lists formatted with either the four-space rule or the
more forgiving Markdown.pl behavior, provided they are laid out in a way that is natural for
a human to read.
The strategy here is to let the width and indentation of the list marker determine the
indentation necessary for blocks to fall under the list item, rather than having a fixed and
arbitrary number. The writer can think of the body of the list item as a unit which gets
indented to the right enough to fit the list marker (and any indentation on the list marker).
(The laziness rule, #5, then allows continuation lines to be unindented if needed.)
This rule is superior, we claim, to any rule requiring a fixed level of indentation from the
margin. The four-space rule is clear but unnatural. It is quite unintuitive that
- foo
bar
- baz
<ul>
<li>foo</li>
</ul>
<p>bar</p>
<ul>
<li>baz</li>
</ul>
<ul>
<li>
<p>foo</p>
<p>bar</p>
<ul>
<li>baz</li>
</ul>
</li>
</ul>
The choice of four spaces is arbitrary. It can be learned, but it is not likely to be guessed, and
it trips up beginners regularly.
Would it help to adopt a two-space rule? The problem is that such a rule, together with the
rule allowing 1–3 spaces indentation of the initial list marker, allows text that is indented
less than the original list marker to be included in the list item. For example, Markdown.pl
parses
- one
two
<ul>
<li>
<p>one</p>
<p>two</p>
</li>
</ul>
and similarly
> - one
>
> two
as
<blockquote>
<ul>
<li>
<p>one</p>
<p>two</p>
</li>
</ul>
</blockquote>
Rather than requiring a fixed indent from the margin, we could require a fixed indent (say,
two spaces, or even one space) from the list marker (which may itself be indented). This
proposal would remove the last anomaly discussed. Unlike the spec presented above, it
would count the following as a list item with a subparagraph, even though the paragraph
bar is not indented as far as the first paragraph foo:
10. foo
bar
Arguably this text does read like a list item with bar as a subparagraph, which may count in
favor of the proposal. However, on this proposal indented code would have to be indented six
spaces after the list marker. And this would break a lot of existing Markdown, which has the
pattern:
1. foo
indented code
where the code is indented eight spaces. The spec above, by contrast, will parse this text as
expected, since the code block’s indentation is measured from the beginning of foo.
The one case that needs special treatment is a list item that starts with indented code. How
much indentation is required in that case, since we don’t have a “first paragraph” to measure
from? Rule #2 simply stipulates that in such cases, we require one space indentation from the
list marker (and then the normal four spaces for the indented code). This will match the
four-space rule in cases where the list marker plus its initial indentation takes four spaces (a
common case), but diverge in other cases.
A task list item is a list item where the first block in it is a paragraph which begins with a task
list item marker and at least one whitespace character before any other content.
A task list item marker consists of an optional number of spaces, a left bracket ([), either a
whitespace character or the letter x in either lowercase or uppercase, and then a right
bracket (]).
When rendered, the task list item marker is replaced with a semantic checkbox element; in an
HTML output, this would be an <input type="checkbox"> element.
If the character between the brackets is a whitespace character, the checkbox is unchecked.
Otherwise, the checkbox is checked.
This spec does not define how the checkbox elements are interacted with: in practice,
implementors are free to render the checkboxes as disabled or inmutable elements, or they
may dynamically handle dynamic interactions (i.e. checking, unchecking) in the final rendered
document.
Example 279
- ·[ ·] ·foo <ul>
- ·[x] ·bar <li><input ·disabled="" ·
type="checkbox"> ·foo</li>
<li><input ·checked="" ·disabled="" ·
type="checkbox"> ·bar</li>
</ul>
Example 280
5.4 Lists ▲
A list is a sequence of one or more list items of the same type. The list items may be separated
by any number of blank lines.
Two list items are of �e same type if they begin with a list marker of the same type. Two list
markers are of the same type if (a) they are bullet list markers using the same character (-, +,
or *) or (b) they are ordered list numbers with the same delimiter (either . or )).
A list is an �dered list if its constituent list items begin with ordered list markers, and a bu�et
list if its constituent list items begin with bullet list markers.
The start number of an ordered list is determined by the list number of its initial list item. The
numbers of subsequent list items are disregarded.
A list is loose if any of its constituent list items are separated by blank lines, or if any of its
constituent list items directly contain two block-level elements with a blank line between
them. Otherwise a list is tight. (The difference in HTML output is that paragraphs in a loose list
are wrapped in <p> tags, while paragraphs in a tight list are not.)
Example 281
- ·foo <ul>
- ·bar <li>foo</li>
+ ·baz <li>bar</li>
</ul>
<ul>
<li>baz</li>
</ul>
Example 282
1. ·foo <ol>
2. ·bar <li>foo</li>
3) ·baz <li>bar</li>
</ol>
<ol ·start="3">
<li>baz</li>
</ol>
In CommonMark, a list can interrupt a paragraph. That is, no blank line is needed to separate a
paragraph from a following list:
Example 283
Foo <p>Foo</p>
- ·bar <ul>
- ·baz <li>bar</li>
<li>baz</li>
</ul>
Markdown.pl does not allow this, through fear of triggering a list via a numeral in a hard-
wrapped line:
Oddly, though, Markdown.pl does allow a blockquote to interrupt a paragraph, even though
the same considerations might apply.
I need to buy
- new shoes
- a coat
- a plane ticket
(Indeed, the spec for list items and block quotes presupposes this principle.) This principle
implies that if
* I need to buy
- new shoes
- a coat
- a plane ticket
I need to buy
- new shoes
- a coat
- a plane ticket
Since it is well established Markdown practice to allow lists to interrupt paragraphs inside
list items, the principle of uniformity requires us to allow this outside list items as well.
(reStructuredText takes a different approach, requiring blank lines before lists even inside
other list items.)
Example 284
The ·number ·of ·windows ·in ·my ·house ·is <p>The ·number ·of ·windows ·in ·my ·house ·
14. ··The ·number ·of ·doors ·is ·6. is
14. ··The ·number ·of ·doors ·is ·6.</p>
Example 285
The ·number ·of ·windows ·in ·my ·house ·is <p>The ·number ·of ·windows ·in ·my ·house ·
1. ··The ·number ·of ·doors ·is ·6. is</p>
<ol>
<li>The ·number ·of ·doors ·is ·6.</li>
</ol>
Example 286
- ·foo <ul>
<li>
- ·bar <p>foo</p>
</li>
<li>
- ·baz <p>bar</p>
</li>
<li>
<p>baz</p>
</li>
</ul>
Example 287
- ·foo <ul>
··- ·bar <li>foo
····- ·baz <ul>
<li>bar
<ul>
······bim <li>
<p>baz</p>
<p>bim</p>
</li>
</ul>
</li>
</ul>
</li>
</ul>
To separate consecutive lists of the same type, or to separate a list from an indented code
block that would otherwise be parsed as a subparagraph of the final list item, you can insert
a blank HTML comment:
Example 288
- ·foo <ul>
- ·bar <li>foo</li>
<li>bar</li>
<!-- ·--> </ul>
<!-- ·-->
- ·baz <ul>
- ·bim <li>baz</li>
<li>bim</li>
</ul>
Example 289
- ···foo <ul>
<li>
····notcode <p>foo</p>
<p>notcode</p>
- ···foo </li>
<li>
<!-- ·--> <p>foo</p>
</li>
····code </ul>
<!-- ·-->
<pre><code>code
</code></pre>
List items need not be indented to the same level. The following list items will be treated as
items at the same list level, since none is indented enough to belong to the previous list item:
Example 290
- ·a <ul>
·- ·b <li>a</li>
··- ·c <li>b</li>
···- ·d <li>c</li>
··- ·e <li>d</li>
·- ·f <li>e</li>
- ·g <li>f</li>
<li>g</li>
</ul>
Example 291
1. ·a <ol>
<li>
··2. ·b <p>a</p>
</li>
···3. ·c <li>
<p>b</p>
</li>
<li>
<p>c</p>
</li>
</ol>
Note, however, that list items may not be indented more than three spaces. Here - e is treated
as a paragraph continuation line, because it is indented more than three spaces:
Example 292
- ·a <ul>
·- ·b <li>a</li>
··- ·c <li>b</li>
···- ·d <li>c</li>
····- ·e <li>d
- ·e</li>
</ul>
And here, 3. c is treated as in indented code block, because it is indented four spaces and
preceded by a blank line.
Example 293
1. ·a <ol>
<li>
··2. ·b <p>a</p>
</li>
····3. ·c <li>
<p>b</p>
</li>
</ol>
<pre><code>3. ·c
</code></pre>
This is a loose list, because there is a blank line between two of the list items:
Example 294
- ·a <ul>
- ·b <li>
<p>a</p>
- ·c </li>
<li>
<p>b</p>
</li>
<li>
<p>c</p>
</li>
</ul>
Example 295
* ·a <ul>
* <li>
<p>a</p>
* ·c </li>
<li></li>
<li>
<p>c</p>
</li>
</ul>
These are loose lists, even though there is no space between the items, because one of the
items directly contains two block-level elements with a blank line between them:
Example 296
- ·a <ul>
- ·b <li>
<p>a</p>
··c </li>
- ·d <li>
<p>b</p>
<p>c</p>
</li>
<li>
<p>d</p>
</li>
</ul>
Example 297
- ·a <ul>
- ·b <li>
<p>a</p>
··[ref]: ·/url </li>
- ·d <li>
<p>b</p>
</li>
<li>
<p>d</p>
</li>
</ul>
This is a tight list, because the blank lines are in a code block:
Example 298
- ·a <ul>
- ·``` <li>a</li>
··b <li>
<pre><code>b
··```
- ·c </code></pre>
</li>
<li>c</li>
</ul>
This is a tight list, because the blank line is between two paragraphs of a sublist. So the
sublist is loose while the outer list is tight:
Example 299
- ·a <ul>
··- ·b <li>a
<ul>
····c <li>
- ·d <p>b</p>
<p>c</p>
</li>
</ul>
</li>
<li>d</li>
</ul>
This is a tight list, because the blank line is inside the block quote:
Example 300
* ·a <ul>
··> ·b <li>a
··> <blockquote>
* ·c <p>b</p>
</blockquote>
</li>
<li>c</li>
</ul>
This list is tight, because the consecutive block elements are not separated by blank lines:
Example 301
- ·a <ul>
··> ·b <li>a
··``` <blockquote>
··c <p>b</p>
··``` </blockquote>
- ·d <pre><code>c
</code></pre>
</li>
<li>d</li>
</ul>
Example 302
- ·a <ul>
<li>a</li>
</ul>
Example 303
- ·a <ul>
··- ·b <li>a
<ul>
<li>b</li>
</ul>
</li>
</ul>
This list is loose, because of the blank line between the two block elements in the list item:
Example 304
1. ·``` <ol>
···foo <li>
···``` <pre><code>foo
</code></pre>
···bar <p>bar</p>
</li>
</ol>
Example 305
* ·foo <ul>
··* ·bar <li>
<p>foo</p>
··baz <ul>
<li>bar</li>
</ul>
<p>baz</p>
</li>
</ul>
Example 306
- ·a <ul>
··- ·b <li>
··- ·c <p>a</p>
<ul>
- ·d <li>b</li>
··- ·e <li>c</li>
··- ·f </ul>
</li>
<li>
<p>d</p>
<ul>
<li>e</li>
<li>f</li>
</ul>
</li>
</ul>
6 Inlines
Inlines are parsed sequentially from the beginning of the character stream to the end (left
to right, in left-to-right languages). Thus, for example, in
Example 307
`hi`lo` <p><code>hi</code>lo`</p>
Example 308
\!\"\#\$\%\&\'\(\)\*\+\,\-\.\/\:\;\<\= <p>!"#$%&'()*+,-./:;<=&
\>\?\@\[\\\]\^\_\`\{\|\}\~ gt;?@[\]^_`{|}~</p>
Example 309
Escaped characters are treated as regular characters and do not have their usual
Markdown meanings:
Example 310
Example 311
\\*emphasis* <p>\<em>emphasis</em></p>
Example 312
Backslash escapes do not work in code blocks, code spans, autolinks, or raw HTML:
Example 313
Example 314
····\[\] <pre><code>\[\]
</code></pre>
Example 315
~~~ <pre><code>\[\]
\[\] </code></pre>
~~~
Example 316
<http://example.com?find=\*> <p><a ·
href="http://example.com?find=%5C*">ht
tp://example.com?find=\*</a></p>
Example 317
But they work in all other contexts, including URLs and link titles, link references, and info
strings in fenced code blocks:
Example 318
Example 319
Example 320
• Entity and character references are not recognized in code blocks and code spans.
• Entity and character references cannot stand in place of special characters that
define structural elements in CommonMark. For example, although * can be used
in place of a literal * character, * cannot replace * in emphasis delimiters, bullet
list markers, or thematic breaks.
Conforming CommonMark parsers need not store information about whether a particular
character was represented in the source using a Unicode character or an entity reference.
Entity references consist of & + any of the valid HTML5 entity names + ;. The document
https://html.spec.whatwg.org/multipage/entities.json is used as an authoritative source for
the valid entity references and their corresponding code points.
Example 321
Decimal numeric character references consist of &# + a string of 1–7 arabic digits + ;. A numeric
character reference is parsed as the corresponding Unicode character. Invalid Unicode code
points will be replaced by the REPLACEMENT CHARACTER (U+FFFD). For security reasons, the
code point U+0000 will also be replaced by U+FFFD.
Example 322
Hexadecimal numeric character references consist of &# + either X or x + a string of 1-6 hexadecimal
digits + ;. They too are parsed as the corresponding Unicode character (this time specified
with a hexadecimal numeral instead of decimal).
Example 323
Example 324
Although HTML5 does accept some entity references without a trailing semicolon (such as
©), these are not recognized here, because it makes the grammar too ambiguous:
Example 325
© <p>&copy</p>
Strings that are not on the list of HTML5 named entities are not recognized as entity
references either:
Example 326
&MadeUpEntity; <p>&MadeUpEntity;</p>
Entity and numeric character references are recognized in any context besides code spans or
code blocks, including URLs, link titles, and fenced code block info strings:
Example 327
Example 328
Example 329
Example 330
Entity and numeric character references are treated as literal text in code spans and code
blocks:
Example 331
`föö` <p><code>f&ouml;&ouml;
</code></p>
Example 332
····föfö <pre><code>f&ouml;f&ouml;
</code></pre>
Entity and numeric character references cannot be used in place of symbols indicating
structure in CommonMark documents.
Example 333
*foo* <p>*foo*
*foo* <em>foo</em></p>
Example 334
Example 335
foo bar <p>foo
bar</p>
Example 336
	foo <p>→foo</p>
Example 337
A code span begins with a backtick string and ends with a backtick string of equal length. The
contents of the code span are the characters between the two backtick strings, normalized
in the following ways:
Example 338
`foo` <p><code>foo</code></p>
Here two backticks are used, because the code contains a backtick. This example also
illustrates stripping of a single leading and trailing space:
Example 339
This example shows the motivation for stripping leading and trailing spaces:
Example 340
` ·`` ·` <p><code>``</code></p>
Example 341
The stripping only happens if the space is on both sides of the string:
Example 342
Only spaces, and not unicode whitespace in general, are stripped in this way:
Example 343
` b ` <p><code> b </code></p>
Example 344
` ` <p><code> </code>
` ··` <code> ··</code></p>
Example 345
Example 346
`` <p><code>foo ·</code></p>
foo ·
``
Example 347
Note that browsers will typically collapse consecutive spaces when rendering <code>
elements, so it is recommended that the following CSS be used:
code{white-space: pre-wrap;}
Note that backslash escapes do not work in code spans. All backslashes are treated literally:
Example 348
`foo\`bar` <p><code>foo\</code>bar`</p>
Backslash escapes are never needed, because one can always choose a string of n backtick
characters as delimiters, where the code does not contain any strings of exactly n backtick
characters.
Example 349
``foo`bar`` <p><code>foo`bar</code></p>
Example 350
Code span backticks have higher precedence than any other inline constructs except HTML
tags and autolinks. Thus, for example, this is not parsed as emphasized text, since the second
* is part of a code span:
Example 351
*foo`*` <p>*foo<code>*</code></p>
Example 352
Code spans, HTML tags, and autolinks have the same precedence. Thus, this is code:
Example 353
Example 354
Example 355
`<http://foo.bar.`baz>` <p><code><http://foo.bar.
</code>baz>`</p>
Example 356
<http://foo.bar.`baz>` <p><a ·
href="http://foo.bar.%60baz">http:
//foo.bar.`baz</a>`</p>
When a backtick string is not closed by a matching backtick string, we just have literal
backticks:
Example 357
```foo`` <p>```foo``</p>
Example 358
`foo <p>`foo</p>
The following case also illustrates the need for opening and closing backtick strings to be
equal in length:
Example 359
`foo``bar`` <p>`foo<code>bar</code></p>
This is enough for most users, but these rules leave much undecided, especially when it
comes to nested emphasis. The original Markdown.pl test suite makes it clear that triple ***
and ___ delimiters can be used for strong emphasis, and most implementations have also
allowed the following patterns:
***strong emph***
***strong** in emph*
***emph* in strong**
**in strong *emph***
*in emph **strong***
The following patterns are less widely supported, but the intent is clear and they are useful
(especially in contexts like bibliography entries):
Many implementations have also restricted intraword emphasis to the * forms, to avoid
unwanted emphasis in words containing internal underscores. (It is best practice to put these
in code spans, but users often do not.)
The rules given below capture all of these patterns, while allowing for efficient parsing
strategies that do not backtrack.
First, some definitions. A delimiter run is either a sequence of one or more * characters that is
not preceded or followed by a non-backslash-escaped * character, or a sequence of one or
more _ characters that is not preceded or followed by a non-backslash-escaped _ character.
A left-flanking delimiter run is a delimiter run that is (1) not followed by Unicode whitespace, and
either (2a) not followed by a punctuation character, or (2b) followed by a punctuation
character and preceded by Unicode whitespace or a punctuation character. For purposes of
this definition, the beginning and the end of the line count as Unicode whitespace.
A right-flanking delimiter run is a delimiter run that is (1) not preceded by Unicode whitespace, and
either (2a) not preceded by a punctuation character, or (2b) preceded by a punctuation
character and followed by Unicode whitespace or a punctuation character. For purposes of
this definition, the beginning and the end of the line count as Unicode whitespace.
***abc
_abc
**"abc"
_"abc"
abc***
abc_
"abc"**
"abc"_
abc***def
"abc"_"def"
(The idea of distinguishing left-flanking and right-flanking delimiter runs based on the
character before and the character after comes from Roopesh Chander’s vfmd. vfmd uses
the terminology “emphasis indicator string” instead of “delimiter run,” and its rules for
distinguishing left- and right-flanking runs are a bit more complex than the ones given here.)
1. A single * character can open emphasis iff (if and only if) it is part of a left-flanking
delimiter run.
2. A single _ character can open emphasis iff it is part of a left-flanking delimiter run and
either (a) not part of a right-flanking delimiter run or (b) part of a right-flanking
delimiter run preceded by punctuation.
3. A single * character can close emphasis iff it is part of a right-flanking delimiter run.
4. A single _ character can close emphasis iff it is part of a right-flanking delimiter run
and either (a) not part of a left-flanking delimiter run or (b) part of a left-flanking
delimiter run followed by punctuation.
5. A double ** can open strong emphasis iff it is part of a left-flanking delimiter run.
6. A double __ can open strong emphasis iff it is part of a left-flanking delimiter run and
either (a) not part of a right-flanking delimiter run or (b) part of a right-flanking
delimiter run preceded by punctuation.
7. A double ** can close strong emphasis iff it is part of a right-flanking delimiter run.
8. A double __ can close strong emphasis iff it is part of a right-flanking delimiter run
and either (a) not part of a left-flanking delimiter run or (b) part of a left-flanking
delimiter run followed by punctuation.
9. Emphasis begins with a delimiter that can open emphasis and ends with a delimiter that
can close emphasis, and that uses the same character (_ or *) as the opening delimiter.
The opening and closing delimiters must belong to separate delimiter runs. If one of
the delimiters can both open and close emphasis, then the sum of the lengths of the
delimiter runs containing the opening and closing delimiters must not be a multiple of
3 unless both lengths are multiples of 3.
10. Strong emphasis begins with a delimiter that can open strong emphasis and ends with a
delimiter that can close strong emphasis, and that uses the same character (_ or *) as
the opening delimiter. The opening and closing delimiters must belong to separate
delimiter runs. If one of the delimiters can both open and close strong emphasis, then
the sum of the lengths of the delimiter runs containing the opening and closing
delimiters must not be a multiple of 3 unless both lengths are multiples of 3.
11. A literal * character cannot occur at the beginning or end of *-delimited emphasis or
**-delimited strong emphasis, unless it is backslash-escaped.
12. A literal _ character cannot occur at the beginning or end of _-delimited emphasis or
Where rules 1–12 above are compatible with multiple parsings, the following principles
resolve ambiguity:
13. The number of nestings should be minimized. Thus, for example, an interpretation
<strong>...</strong> is always preferred to <em><em>...</em></em>.
15. When two potential emphasis or strong emphasis spans overlap, so that the second
begins before the first ends and ends after the first ends, the first takes precedence.
Thus, for example, *foo _bar* baz_ is parsed as <em>foo _bar</em> baz_ rather
than *foo <em>bar* baz</em>.
16. When there are two potential emphasis or strong emphasis spans with the same closing
delimiter, the shorter one (the one that opens later) takes precedence. Thus, for
example, **foo **bar baz** is parsed as **foo <strong>bar baz</strong>
rather than <strong>foo **bar baz</strong>.
17. Inline code spans, links, images, and HTML tags group more tightly than emphasis. So,
when there is a choice between an interpretation that contains one of these elements
and one that does not, the former always wins. Thus, for example, *[foo*](bar) is
parsed as *<a href="bar">foo*</a> rather than as <em>[foo</em>](bar).
Rule 1:
Example 360
This is not emphasis, because the opening * is followed by whitespace, and hence not part of a
left-flanking delimiter run:
Example 361
This is not emphasis, because the opening * is preceded by an alphanumeric and followed by
punctuation, and hence not part of a left-flanking delimiter run:
Example 362
a*"foo"* <p>a*"foo"*</p>
Example 363
* a * <p>* a *</p>
Example 364
foo*bar* <p>foo<em>bar</em></p>
Example 365
5*6*78 <p>5<em>6</em>78</p>
Rule 2:
Example 366
Example 367
This is not emphasis, because the opening _ is preceded by an alphanumeric and followed by
punctuation:
Example 368
a_"foo"_ <p>a_"foo"_</p>
Example 369
foo_bar_ <p>foo_bar_</p>
Example 370
5_6_78 <p>5_6_78</p>
Example 371
пристаням_стремятся_ <p>пристаням_стремятся_</p>
Here _ does not generate emphasis, because the first delimiter run is right-flanking and the
second left-flanking:
Example 372
aa_"bb"_cc <p>aa_"bb"_cc</p>
This is emphasis, even though the opening delimiter is both left- and right-flanking, because it
is preceded by punctuation:
Example 373
foo-_(bar)_ <p>foo-<em>(bar)</em></p>
Rule 3:
This is not emphasis, because the closing delimiter does not match the opening delimiter:
Example 374
_foo* <p>_foo*</p>
Example 375
Example 376
This is not emphasis, because the second * is preceded by punctuation and followed by an
alphanumeric (hence it is not part of a right-flanking delimiter run:
Example 377
*(*foo) <p>*(*foo)</p>
The point of this restriction is more easily appreciated with this example:
Example 378
*(*foo*)* <p><em>(<em>foo</em>)</em></p>
Example 379
*foo*bar <p><em>foo</em>bar</p>
Rule 4:
Example 380
This is not emphasis, because the second _ is preceded by punctuation and followed by an
alphanumeric:
Example 381
_(_foo) <p>_(_foo)</p>
Example 382
_(_foo_)_ <p><em>(<em>foo</em>)</em></p>
Example 383
_foo_bar <p>_foo_bar</p>
Example 384
_пристаням_стремятся <p>_пристаням_стремятся</p>
Example 385
_foo_bar_baz_ <p><em>foo_bar_baz</em></p>
This is emphasis, even though the closing delimiter is both left- and right-flanking, because it
is followed by punctuation:
Example 386
_(bar)_. <p><em>(bar)</em>.</p>
Rule 5:
Example 387
This is not strong emphasis, because the opening delimiter is followed by whitespace:
Example 388
This is not strong emphasis, because the opening ** is preceded by an alphanumeric and
followed by punctuation, and hence not part of a left-flanking delimiter run:
Example 389
a**"foo"** <p>a**"foo"**</p>
Example 390
foo**bar** <p>foo<strong>bar</strong></p>
Rule 6:
Example 391
This is not strong emphasis, because the opening delimiter is followed by whitespace:
Example 392
Example 393
__ <p>__
foo ·bar__ foo ·bar__</p>
This is not strong emphasis, because the opening __ is preceded by an alphanumeric and
followed by punctuation:
Example 394
a__"foo"__ <p>a__"foo"__</p>
Example 395
foo__bar__ <p>foo__bar__</p>
Example 396
5__6__78 <p>5__6__78</p>
Example 397
пристаням__стремятся__ <p>пристаням__стремятся__</p>
Example 398
This is strong emphasis, even though the opening delimiter is both left- and right-flanking,
because it is preceded by punctuation:
Example 399
foo-__(bar)__ <p>foo-<strong>(bar)</strong></p>
Rule 7:
This is not strong emphasis, because the closing delimiter is preceded by whitespace:
Example 400
This is not strong emphasis, because the second ** is preceded by punctuation and followed
by an alphanumeric:
Example 401
**(**foo) <p>**(**foo)</p>
The point of this restriction is more easily appreciated with these examples:
Example 402
*(**foo**)* <p><em>(<strong>foo</strong>)</em></p>
Example 403
Example 404
Intraword emphasis:
Example 405
**foo**bar <p><strong>foo</strong>bar</p>
Rule 8:
This is not strong emphasis, because the closing delimiter is preceded by whitespace:
Example 406
This is not strong emphasis, because the second __ is preceded by punctuation and followed
by an alphanumeric:
Example 407
__(__foo) <p>__(__foo)</p>
The point of this restriction is more easily appreciated with this example:
Example 408
_(__foo__)_ <p><em>(<strong>foo</strong>)</em></p>
Example 409
__foo__bar <p>__foo__bar</p>
Example 410
__пристаням__стремятся <p>__пристаням__стремятся</p>
Example 411
__foo__bar__baz__ <p><strong>foo__bar__baz</strong></p>
This is strong emphasis, even though the closing delimiter is both left- and right-flanking,
because it is followed by punctuation:
Example 412
__(bar)__. <p><strong>(bar)</strong>.</p>
Rule 9:
Any nonempty sequence of inline elements can be the contents of an emphasized span.
Example 413
Example 414
*foo <p><em>foo
bar* bar</em></p>
Example 415
Example 416
Example 417
Example 418
Example 419
Example 420
*foo**bar**baz* <p><em>foo<strong>bar</strong>baz</em>
</p>
<p><em>foo</em><em>bar<em></em>baz</em></p>
is precluded by the condition that a delimiter that can both open and close (like the * after
foo) cannot form emphasis if the sum of the lengths of the delimiter runs containing the
opening and closing delimiters is a multiple of 3 unless both lengths are multiples of 3.
For the same reason, we don’t get two consecutive emphasis sections in this example:
Example 421
*foo**bar* <p><em>foo**bar</em></p>
The same condition ensures that the following cases are all strong emphasis nested inside
emphasis, even when the interior spaces are omitted:
Example 422
Example 423
Example 424
*foo**bar*** <p><em>foo<strong>bar</strong>
</em></p>
When the lengths of the interior closing and opening delimiter runs are both multiples of 3,
though, they can match to create emphasis:
Example 425
foo***bar***baz <p>foo<em><strong>bar</strong>
</em>baz</p>
Example 426
foo******bar*********baz <p>foo<strong><strong>
<strong>bar</strong></strong>
</strong>***baz</p>
Example 427
Example 428
Example 429
** ·is ·not ·an ·empty ·emphasis <p>** ·is ·not ·an ·empty ·emphasis</p>
Example 430
**** ·is ·not ·an ·empty ·strong ·emphasis <p>**** ·is ·not ·an ·empty ·strong ·
emphasis</p>
Rule 10:
Any nonempty sequence of inline elements can be the contents of an strongly emphasized
span.
Example 431
Example 432
**foo <p><strong>foo
bar** bar</strong></p>
In particular, emphasis and strong emphasis can be nested inside strong emphasis:
Example 433
Example 434
Example 435
Example 436
Example 437
Example 438
**foo*bar*baz** <p><strong>foo<em>bar</em>baz</strong>
</p>
Example 439
Example 440
Example 441
Example 442
Example 443
__ ·is ·not ·an ·empty ·emphasis <p>__ ·is ·not ·an ·empty ·emphasis</p>
Example 444
____ ·is ·not ·an ·empty ·strong ·emphasis <p>____ ·is ·not ·an ·empty ·strong ·
emphasis</p>
Rule 11:
Example 445
Example 446
Example 447
Example 448
Example 449
Example 450
Note that when delimiters do not match evenly, Rule 11 determines that the excess literal *
characters will appear outside of the emphasis, rather than inside it:
Example 451
**foo* <p>*<em>foo</em></p>
Example 452
*foo** <p><em>foo</em>*</p>
Example 453
***foo** <p>*<strong>foo</strong></p>
Example 454
****foo* <p>***<em>foo</em></p>
Example 455
**foo*** <p><strong>foo</strong>*</p>
Example 456
*foo**** <p><em>foo</em>***</p>
Rule 12:
Example 457
Example 458
Example 459
Example 460
Example 461
Example 462
Example 463
__foo_ <p>_<em>foo</em></p>
Note that when delimiters do not match evenly, Rule 12 determines that the excess literal _
characters will appear outside of the emphasis, rather than inside it:
Example 464
_foo__ <p><em>foo</em>_</p>
Example 465
___foo__ <p>_<strong>foo</strong></p>
Example 466
____foo_ <p>___<em>foo</em></p>
Example 467
__foo___ <p><strong>foo</strong>_</p>
Example 468
_foo____ <p><em>foo</em>___</p>
Rule 13 implies that if you want emphasis nested directly inside emphasis, you must use
different delimiters:
Example 469
**foo** <p><strong>foo</strong></p>
Example 470
*_foo_* <p><em><em>foo</em></em></p>
Example 471
__foo__ <p><strong>foo</strong></p>
Example 472
_*foo*_ <p><em><em>foo</em></em></p>
However, strong emphasis within strong emphasis is possible without switching delimiters:
Example 473
****foo**** <p><strong><strong>foo</strong>
</strong></p>
Example 474
____foo____ <p><strong><strong>foo</strong>
</strong></p>
Example 475
******foo****** <p><strong><strong>
<strong>foo</strong></strong>
</strong></p>
Rule 14:
Example 476
***foo*** <p><em><strong>foo</strong></em></p>
Example 477
_____foo_____ <p><em><strong><strong>foo</strong>
</strong></em></p>
Rule 15:
Example 478
Example 479
Rule 16:
Example 480
Example 481
Rule 17:
Example 482
Example 483
Example 484
Example 485
Example 486
Example 487
Example 488
Example 489
Example 490
Strikethrough text is any text wrapped in a matching pair of one or two tildes (~).
Example 491
As with regular emphasis delimiters, a new paragraph will cause strikethrough parsing to
cease:
Example 492
Example 493
6.6 Links ▲
A link contains link text (the visible text), a link destination (the URI that is the link
destination), and optionally a link title. There are two basic kinds of links in Markdown. In
inline links the destination and title are given immediately after the link text. In reference
links the destination and title are defined elsewhere in the document.
A link text consists of a sequence of zero or more inline elements enclosed by square brackets
([ and ]). The following rules apply:
• Links may not contain other links, at any level of nesting. If multiple otherwise valid
link definitions appear nested inside each other, the inner-most definition is used.
• Brackets are allowed in the link text only if (a) they are backslash-escaped or (b) they
appear as a matched pair of brackets, with an open bracket [, a sequence of zero or
more inlines, and a close bracket ].
• Backtick code spans, autolinks, and raw HTML tags bind more tightly than the brackets
in link text. Thus, for example, [foo`]` could not be a link text, since the second ] is
part of a code span.
• The brackets in link text bind more tightly than markers for emphasis and strong
emphasis. Thus, for example, *[foo*](url) is a link.
• a sequence of zero or more characters between an opening < and a closing > that
contains no line breaks or unescaped < or > characters, or
• a nonempty sequence of characters that does not start with <, does not include ASCII
space or control characters, and includes parentheses only if (a) they are backslash-
escaped or (b) they are part of a balanced pair of unescaped parentheses.
(Implementations may impose limits on parentheses nesting to avoid performance
issues, but at least three levels of nesting should be supported.)
Although link titles may span multiple lines, they may not contain a blank line.
An inline link consists of a link text followed immediately by a left parenthesis (, optional
whitespace, an optional link destination, an optional link title separated from the link
destination by whitespace, optional whitespace, and a right parenthesis ). The link’s text
consists of the inlines contained in the link text (excluding the enclosing square brackets).
The link’s URI consists of the link destination, excluding enclosing <...> if present, with
backslash-escapes in effect as described above. The link’s title consists of the link title,
excluding its enclosing delimiters, with backslash-escapes in effect as described above.
Example 494
Example 495
Example 496
Example 497
Example 498
Example 499
The destination cannot contain line breaks, even if enclosed in pointy brackets:
Example 500
[link](foo <p>[link](foo
bar) bar)</p>
Example 501
[link](<foo <p>[link](<foo
bar>) bar>)</p>
Example 502
Example 503
[link](<foo\>) <p>[link](<foo>)</p>
These are not links, because the opening pointy bracket is not matched properly:
Example 504
[a](<b)c <p>[a](<b)c
[a](<b)c> [a](<b)c>
[a](<b>c) [a](<b>c)</p>
Example 505
Any number of parentheses are allowed without escaping, as long as they are balanced:
Example 506
[link](foo(and(bar))) <p><a ·
href="foo(and(bar))">link</a></p>
However, if you have unbalanced parentheses, you need to escape or use the <...> form:
Example 507
Example 508
Example 509
Example 510
Example 511
URL-escaping should be left alone inside the destination, as all URL-escaped characters are
also valid URL characters. Entity and numerical character references in the destination will
be parsed into the corresponding Unicode code points, as usual. These may be optionally URL-
escaped when written as HTML, but this spec does not enforce any particular policy for
rendering URLs in HTML or other formats. Renderers may make different decisions about how
to escape or normalize URLs in the output.
Example 512
Note that, because titles can often be parsed as destinations, if you try to omit the
destination and keep the title, you’ll get unexpected results:
Example 513
Example 514
Backslash escapes and entity and numeric character references may be used in titles:
Example 515
Titles must be separated from the link using a whitespace. Other Unicode whitespace like non-
breaking space doesn’t work.
Example 516
Example 517
Example 518
(Note: Markdown.pl did allow double quotes inside a double-quoted title, and its test suite
included a test demonstrating this. But it is hard to see a good rationale for the extra
complexity this brings, since there are already many ways—backslash escaping, entity and
numeric character references, or using a different quote type for the enclosing title—to
write titles containing double quotes. Markdown.pl’s handling of titles has a number of
other strange features. For example, it allows single-quoted titles in inline links, but not
reference links. And, in reference links but not inline links, it allows a title to begin with "
and end with ). Markdown.pl 1.0.1 even allows titles with no closing quotation mark,
though 1.0.2b8 does not. It seems preferable to adopt a simple, rational rule that works the
same way in inline links and link reference definitions.)
Example 519
But it is not allowed between the link text and the following parenthesis:
Example 520
The link text may contain balanced brackets, but not unbalanced ones, unless they are
escaped:
Example 521
Example 522
Example 523
Example 524
Example 525
Example 526
However, links may not contain other links, at any level of nesting.
Example 527
Example 528
Example 529
These cases illustrate the precedence of link text grouping over emphasis grouping:
Example 530
Example 531
Note that brackets that aren’t part of links do not take precedence:
Example 532
These cases illustrate the precedence of HTML tags, code spans, and autolinks over link
grouping:
Example 533
Example 534
[foo`](/uri)` <p>[foo<code>](/uri)</code></p>
Example 535
There are three kinds of reference links: full, collapsed, and shortcut.
A fu� reference link consists of a link text immediately followed by a link label that matches a
link reference definition elsewhere in the document.
A link label begins with a left bracket ([) and ends with the first right bracket (]) that is not
backslash-escaped. Between these brackets there must be at least one non-whitespace
character. Unescaped square bracket characters are not allowed inside the opening and
closing square brackets of link labels. A link label can have at most 999 characters inside
the square brackets.
One label matches another just in case their normalized forms are equal. To normalize a label,
strip off the opening and closing brackets, perform the Unicode case fold, strip leading and
trailing whitespace and collapse consecutive internal whitespace to a single space. If there
are multiple matching reference link definitions, the one that comes first in the document is
used. (It is desirable in such cases to emit a warning.)
The link’s URI and title are provided by the matching link reference definition.
Example 536
The rules for the link text are the same as with inline links. Thus:
The link text may contain balanced brackets, but not unbalanced ones, unless they are
escaped:
Example 537
Example 538
[ref]: ·/uri
Example 539
Example 540
However, links may not contain other links, at any level of nesting.
Example 541
Example 542
(In the examples above, we have two shortcut reference links instead of one full reference
link.)
The following cases illustrate the precedence of link text grouping over emphasis grouping:
Example 543
[ref]: ·/uri
Example 544
[ref]: ·/uri
These cases illustrate the precedence of HTML tags, code spans, and autolinks over link
grouping:
Example 545
[ref]: ·/uri
Example 546
[foo`][ref]` <p>[foo<code>][ref]</code></p>
[ref]: ·/uri
Example 547
Matching is case-insensitive:
Example 548
Example 549
[SS]: ·/url
Example 550
[Baz][Foo ·bar]
No whitespace is allowed between the link text and the link label:
Example 551
Example 552
[foo] <p>[foo]
[bar] <a ·href="/url" ·
title="title">bar</a></p>
[bar]: ·/url ·"title"
This is a departure from John Gruber’s original Markdown syntax description, which
explicitly allows whitespace between the link text and the link label. It brings reference links
in line with inline links, which (according to both original Markdown and this spec) cannot
have whitespace after the link text. More importantly, it prevents inadvertent capture of
consecutive shortcut reference links. If whitespace is allowed between the link text and the
link label, then in the following we will have a single reference link, not two shortcut
reference links, as intended:
[foo]
[bar]
[foo]: /url1
[bar]: /url2
(Note that shortcut reference links were introduced by Gruber himself in a beta version of
Markdown.pl, but never included in the official syntax description. Without shortcut
reference links, it is harmless to allow space between the link text and link label; but once
shortcut references are introduced, it is too dangerous to allow this, as it frequently leads
to unintended results.)
When there are multiple matching link reference definitions, the first is used:
Example 553
[foo]: ·/url2
[bar][foo]
Note that matching is performed on normalized strings, not parsed inline content. So the
following does not match, even though the labels define equivalent inline content:
Example 554
[bar][foo\!] <p>[bar][foo!]</p>
[foo!]: ·/url
Example 555
[foo][ref[] <p>[foo][ref[]</p>
<p>[ref[]: ·/uri</p>
[ref[]: ·/uri
Example 556
[foo][ref[bar]] <p>[foo][ref[bar]]</p>
<p>[ref[bar]]: ·/uri</p>
[ref[bar]]: ·/uri
Example 557
[[[foo]]] <p>[[[foo]]]</p>
<p>[[[foo]]]: ·/url</p>
[[[foo]]]: ·/url
Example 558
[ref\[]: ·/uri
Example 559
[bar\\]
Example 560
[] <p>[]</p>
<p>[]: ·/uri</p>
[]: ·/uri
Example 561
[ <p>[
·] ]</p>
<p>[
[ ]: ·/uri</p>
·]: ·/uri
A co�apsed reference link consists of a link label that matches a link reference definition
elsewhere in the document, followed by the string []. The contents of the first link label are
parsed as inlines, which are used as the link’s text. The link’s URI and title are provided by the
matching reference link definition. Thus, [foo][] is equivalent to [foo][foo].
Example 562
Example 563
Example 564
As with full reference links, whitespace is not allowed between the two sets of brackets:
Example 565
A sh�tcut reference link consists of a link label that matches a link reference definition
elsewhere in the document and is not followed by [] or a link label. The contents of the
first link label are parsed as inlines, which are used as the link’s text. The link’s URI and title
are provided by the matching link reference definition. Thus, [foo] is equivalent to [foo][].
Example 566
Example 567
Example 568
Example 569
[foo]: ·/url
Example 570
Example 571
[foo]: ·/url
If you just want bracketed text, you can backslash-escape the opening bracket to avoid links:
Example 572
\[foo] <p>[foo]</p>
Note that this is a link, because a link label ends with the first following closing bracket:
Example 573
*[foo*]
Example 574
[foo]: ·/url1
[bar]: ·/url2
Example 575
[foo]: ·/url1
Example 576
[foo]: ·/url1
Example 577
Example 578
[baz]: ·/url
Example 579
Here [foo] is not parsed as a shortcut reference, because it is followed by a link label (even
though [bar] is not defined):
Example 580
[baz]: ·/url1
[foo]: ·/url2
6.7 Images ▲
Syntax for images is like the syntax for links, with one difference. Instead of link text, we have
an image description. The rules for this are the same as for link text, except that (a) an image
description starts with  or foo <a
href="/url">bar</a>. Only the plain string content is rendered, without formatting.
Example 585
Example 586
Example 587
Example 588
Example 589
Example 590
Reference-style:
Example 591
[bar]: ·/url
Example 592
[BAR]: ·/url
Collapsed:
Example 593
Example 594
Example 595
As with reference links, whitespace is not allowed between the two sets of brackets:
Example 596
Shortcut:
Example 597
Example 598
Example 599
![[foo]] <p>![[foo]]</p>
<p>[[foo]]: ·/url ·"title"</p>
[[foo]]: ·/url ·"title"
Example 600
If you just want a literal ! followed by bracketed text, you can backslash-escape the opening
[:
Example 601
!\[foo] <p>![foo]</p>
Example 602
6.8 Autolinks ▲
Autolinks are absolute URIs and email addresses inside < and >. They are parsed as links, with
the URL or email address as the link label.
A URI autolink consists of <, followed by an absolute URI followed by >. It is parsed as a link to
the URI, with the URI as the link’s label.
An absolute URI, for these purposes, consists of a scheme followed by a colon (:) followed by
zero or more characters other than ASCII whitespace and control characters, <, and >. If the
URI includes these characters, they must be percent-encoded (e.g. %20 for a space).
For purposes of this spec, a scheme is any sequence of 2–32 characters beginning with an ASCII
letter and followed by any combination of ASCII letters, digits, or the symbols plus (“+”),
period (“.”), or hyphen (“-”).
Example 603
Example 604
Example 605
Example 606
<MAILTO:[email protected]> <p><a ·
href="MAILTO:[email protected]">MAILTO:FOO@B
AR.BAZ</a></p>
Note that many strings that count as absolute URIs for purposes of this spec are not valid
URIs, because their schemes are not registered or because of other problems with their
syntax:
Example 607
Example 608
Example 609
Example 610
<localhost:5001/foo> <p><a ·
href="localhost:5001/foo">localhost:50
01/foo</a></p>
Example 611
Example 612
An email autolink consists of <, followed by an email address, followed by >. The link’s label is
the email address, and the URL is mailto: followed by the email address.
An email address, for these purposes, is anything that matches the non-normative regex from the
HTML5 spec:
/^[a-zA-Z0-9.!#$%&'*+/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?
(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$/
Example 613
<[email protected]> <p><a ·
href="mailto:[email protected]">foo@
bar.example.com</a></p>
Example 614
<[email protected]> <p><a ·
href="mailto:[email protected]
bar0.com">[email protected]
bar0.com</a></p>
Example 615
<foo\[email protected]> <p><[email protected]></p>
Example 616
<> <p><></p>
Example 617
Example 618
<m:abc> <p><m:abc></p>
Example 619
<foo.bar.baz> <p><foo.bar.baz></p>
Example 620
http://example.com <p>http://example.com</p>
Example 621
[email protected] <p>[email protected]</p>
GFM enables the autolink extension, where autolinks will be recognised in a greater number
of conditions.
Autolinks can also be constructed without requiring the use of < and to > to delimit them,
although they will be recognized under a smaller set of circumstances. All such recognized
autolinks can only come at the beginning of a line, after whitespace, or any of the delimiting
characters *, _, ~, and (.
An extended www autolink will be recognized when the text www. is found followed by a valid
domain. A valid domain consists of segments of alphanumeric characters, underscores (_) and
hyphens (-) separated by periods (.). There must be at least one period, and no underscores
may be present in the last two segments of the domain.
Example 622
www.commonmark.org <p><a ·
href="http://www.commonmark.org">www.c
ommonmark.org</a></p>
After a valid domain, zero or more non-space non-< characters may follow:
Example 623
Example 624
When an autolink ends in ), we scan the entire autolink for the total number of parentheses.
If there is a greater number of closing parentheses than opening ones, we don’t consider the
unmatched trailing parentheses part of the autolink, in order to facilitate including an
autolink inside a parenthesis:
Example 625
This check is only done when the link ends in a closing parentheses ), so if the only
parentheses are in the interior of the autolink, no special rules are applied:
Example 626
Example 627
Example 628
An extended url autolink will be recognised when one of the schemes http://, or https://,
followed by a valid domain, then zero or more non-space non-< characters according to
Example 629
http://commonmark.org <p><a ·
href="http://commonmark.org">http:
(Visit ·https://encrypted.google.com //commonmark.org</a></p>
/search?q=Markup+(business)) <p>(Visit ·<a ·
href="https://encrypted.google.com
/search?q=Markup+(business)">https:
//encrypted.google.com
/search?q=Markup+(business)</a>)</p>
An extended email autolink will be recognised when an email address is recognised within any text
node. Email addresses are recognised according to the following rules:
Example 630
[email protected] <p><a ·
href="mailto:[email protected]">[email protected]<
/a></p>
Example 631
., -, and _ can occur on both sides of the @, but only . may occur at the end of the email
address, in which case it will not be considered part of the address:
Example 632
An extended protocol autolink will be recognised when a protocol is recognised within any text
node. Valid protocols are:
• mailto:
• xmpp:
The scheme of the protocol will automatically be added to the generated link. All the rules
of email address autolinking apply.
Example 633
mailto:[email protected] <p><a ·
href="mailto:[email protected]">mailto:foo@b
mailto:[email protected] ar.baz</a></p>
<p><a ·href="mailto:a.b-
mailto:[email protected]. [email protected]">mailto:[email protected]</a></p>
<p><a ·href="mailto:a.b-
mailto:[email protected]/ [email protected]">mailto:[email protected]</a>.</p>
<p><a ·href="mailto:a.b-
mailto:[email protected] [email protected]">mailto:[email protected]</a>/</p>
<p>mailto:[email protected]</p>
mailto:[email protected]_ <p>mailto:[email protected]_</p>
<p><a ·
xmpp:[email protected] href="xmpp:[email protected]">xmpp:[email protected]
az</a></p>
xmpp:[email protected]. <p><a ·
href="xmpp:[email protected]">xmpp:[email protected]
az</a>.</p>
Example 634
xmpp:[email protected]/txt <p><a ·
href="xmpp:[email protected]/txt">xmpp:foo@b
xmpp:[email protected]/txt@bin ar.baz/txt</a></p>
<p><a ·
xmpp:[email protected]/[email protected] href="xmpp:[email protected]/txt@bin">xmpp:f
[email protected]/txt@bin</a></p>
<p><a ·
href="xmpp:[email protected]/[email protected]">xm
pp:[email protected]/[email protected]</a></p>
Example 635
xmpp:[email protected]/txt/bin <p><a ·
href="xmpp:[email protected]/txt">xmpp:foo@b
ar.baz/txt</a>/bin</p>
A tag name consists of an ASCII letter followed by zero or more ASCII letters, digits, or
hyphens (-).
An attribute name consists of an ASCII letter, _, or :, followed by zero or more ASCII letters,
digits, _, ., :, or -. (Note: This is the XML specification restricted to ASCII. HTML5 is laxer.)
An unquoted attribute value is a nonempty string of characters not including whitespace, ", ', =, <,
>, or `.
A single-quoted attribute value consists of ', zero or more characters not including ', and a final '.
A double-quoted attribute value consists of ", zero or more characters not including ", and a final
".
An open tag consists of a < character, a tag name, zero or more attributes, optional whitespace,
an optional / character, and a > character.
A closing tag consists of the string </, a tag name, optional whitespace, and the character >.
An HTML comment consists of <!-- + text + -->, where text does not start with > or ->, does
not end with -, and does not contain --. (See the HTML5 spec.)
A processing instruction consists of the string <?, a string of characters not including the string
?>, and the string ?>.
A declaration consists of the string <!, a name consisting of one or more uppercase ASCII
letters, whitespace, a string of characters not including the character >, and the character
>.
A CDATA section consists of the string <![CDATA[, a string of characters not including the
string ]]>, and the string ]]>.
An HTML tag consists of an open tag, a closing tag, an HTML comment, a processing
instruction, a declaration, or a CDATA section.
Example 636
<a><bab><c2c> <p><a><bab><c2c></p>
Empty elements:
Example 637
<a/><b2/> <p><a/><b2/></p>
Whitespace is allowed:
Example 638
With attributes:
Example 639
<a ·foo="bar" ·bam ·= ·'baz ·<em>"</em>' <p><a ·foo="bar" ·bam ·= ·'baz ·<em>"</em>'
_boolean ·zoop:33=zoop:33 ·/> _boolean ·zoop:33=zoop:33 ·/></p>
Example 640
Example 641
Example 642
Example 643
Illegal whitespace:
Example 644
Missing whitespace:
Example 645
Closing tags:
Example 646
Example 647
Comments:
Example 648
Example 649
foo ·<!-- ·not ·a ·comment ·-- ·two ·hyphens · <p>foo ·<!-- ·not ·a ·comment ·-- ·two ·
--> hyphens ·--></p>
Not comments:
Example 650
Processing instructions:
Example 651
foo ·<?php ·echo ·$a; ·?> <p>foo ·<?php ·echo ·$a; ·?></p>
Declarations:
Example 652
CDATA sections:
Example 653
Example 654
Example 655
Example 656
• <title>
• <textarea>
• <style>
• <xmp>
• <iframe>
• <noembed>
• <noframes>
• <script>
• <plaintext>
Filtering is done by replacing the leading < with the entity <. These tags are chosen in
particular as they change how HTML is interpreted in a way unique to them (i.e. nested HTML is
interpreted differently), and this is usually undesireable in the context of other rendered
Markdown content.
Example 657
Example 658
For a more visible alternative, a backslash before the line ending may be used instead of two
spaces:
Example 659
Example 660
Example 661
Example 662
Line breaks can occur inside emphasis, links, and other constructs that allow inline content:
Example 663
Example 664
Example 665
Example 666
or HTML tags:
Example 667
Example 668
Hard line breaks are for separating inline content within a block. Neither syntax for hard line
breaks works at the end of a paragraph or other block element:
Example 669
foo\ <p>foo\</p>
Example 670
foo ·· <p>foo</p>
Example 671
Example 672
Example 673
foo <p>foo
baz baz</p>
Spaces at the end of the line and beginning of the next line are removed:
Example 674
foo · <p>foo
·baz baz</p>
A conforming parser may render a soft line break in HTML either as a line break or as a space.
A renderer may also provide an option to render soft line breaks as hard line breaks.
Example 675
Example 676
Example 677
Overview
Parsing has two phases:
1. In the first phase, lines of input are consumed and the block structure of the
document—its division into paragraphs, block quotes, list items, and so on—is
constructed. Text is assigned to these blocks but not parsed. Link reference
definitions are parsed and a map of links is constructed.
2. In the second phase, the raw text contents of paragraphs and headings are parsed into
sequences of Markdown inline elements (strings, code spans, links, emphasis, and so
on), using the map of link references constructed in phase 1.
At each point in processing, the document is represented as a tree of blocks. The root of the
tree is a document block. The document may have any number of other blocks as children. These
children may, in turn, have other blocks as children. The last child of a block is normally
considered open, meaning that subsequent lines of input can alter its contents. (Blocks that
are not open are closed.) Here, for example, is a possible document tree, with the open blocks
marked by arrows:
-> document
-> block_quote
paragraph
"Lorem ipsum dolor\nsit amet."
-> list (type=bullet tight=true bullet_char=-)
list_item
paragraph
"Qui *quodsi iracundia*"
-> list_item
-> paragraph
"aliquando id"
Once a line has been incorporated into the tree in this way, it can be discarded, so input can be
read in a stream.
1. First we iterate through the open blocks, starting with the root document, and
descending through last children down to the last open block. Each block imposes a
condition that the line must satisfy if the block is to remain open. For example, a block
quote requires a > character. A paragraph requires a non-blank line. In this phase we
may match all or just some of the open blocks. But we cannot close unmatched blocks
yet, because we may have a lazy continuation line.
2. Next, after consuming the continuation markers for existing blocks, we look for new
block starts (e.g. > for a block quote). If we encounter a new block start, we close any
blocks unmatched in step 1 before creating the new block as a child of the last
matched block.
3. Finally, we look at the remainder of the line (after block markers like >, list markers,
and indentation have been consumed). This is text that can be incorporated into the
last open block (a paragraph, code block, heading, or raw HTML).
Setext headings are formed when we see a line of a paragraph that is a setext heading
underline.
Reference link definitions are detected when a paragraph is closed; the accumulated text
lines are parsed to see if they begin with one or more reference link definitions. Any
remainder becomes a normal paragraph.
We can see how this works by considering how the tree above is generated by four lines of
Markdown:
-> document
causes a block_quote block to be created as a child of our open document block, and a
paragraph block as a child of the block_quote. Then the text is added to the last open
block, the paragraph:
-> document
-> block_quote
-> paragraph
"Lorem ipsum dolor"
sit amet.
is a “lazy continuation” of the open paragraph, so it gets added to the paragraph’s text:
-> document
-> block_quote
-> paragraph
"Lorem ipsum dolor\nsit amet."
causes the paragraph block to be closed, and a new list block opened as a child of the
block_quote. A list_item is also added as a child of the list, and a paragraph as a child
of the list_item. The text is then added to the new paragraph:
-> document
-> block_quote
paragraph
"Lorem ipsum dolor\nsit amet."
-> list (type=bullet tight=true bullet_char=-)
-> list_item
-> paragraph
"Qui *quodsi iracundia*"
> - aliquando id
causes the list_item (and its child the paragraph) to be closed, and a new list_item
opened up as child of the list. A paragraph is added as a child of the new list_item, to
contain the text. We thus obtain the final tree:
-> document
-> block_quote
paragraph
"Lorem ipsum dolor\nsit amet."
-> list (type=bullet tight=true bullet_char=-)
list_item
paragraph
"Qui *quodsi iracundia*"
-> list_item
-> paragraph
"aliquando id"
We then “walk the tree,” visiting every node, and parse raw string contents of paragraphs and
headings as inlines. At this point we have seen all the link reference definitions, so we can
resolve reference links as we go.
document
block_quote
paragraph
str "Lorem ipsum dolor"
softbreak
str "sit amet."
list (type=bullet tight=true bullet_char=-)
list_item
paragraph
str "Qui "
emph
str "quodsi iracundia"
list_item
paragraph
str "aliquando id"
Notice how the line ending in the first paragraph has been parsed as a softbreak, and the
asterisks in the first list item have become an emph.
By far the trickiest part of inline parsing is handling emphasis, strong emphasis, links, and
images. This is done using the following algorithm.
• a run of * or _ characters, or
• a [ or ![
we insert a text node with these symbols as its literal content, and we add a pointer to this
text node to the delimiter stack.
The delimiter stack is a doubly linked list. Each element contains a pointer to a text node,
plus information about
When we hit a ] character, we call the look for link or image procedure (see below).
When we hit the end of the input, we call the process emphasis procedure (see below), with
stack_bottom = NULL.
Starting at the top of the delimiter stack, we look backwards through the stack for an
opening [ or ![ delimiter.
• If we do find one, but it’s not active, we remove the inactive delimiter from the stack,
and return a literal text node ].
• If we find one and it’s active, then we parse ahead to see if we have an inline link/image,
reference link/image, compact reference link/image, or shortcut reference link/image.
◦ If we don’t, then we remove the opening delimiter from the delimiter stack and
return a literal text node ].
◦ If we do, then
▪ We return a link or image node whose children are the inlines after the
text node pointed to by the opening delimiter.
▪ If we have a link (and not an image), we also set all [ delimiters before the
opening delimiter to inactive. (This will prevent us from getting links
within links.)
process emphasis
Parameter stack_bottom sets a lower bound to how far we descend in the delimiter stack. If
it is NULL, we can go all the way to the bottom. Otherwise, we stop before visiting
stack_bottom.
Let current_position point to the element on the delimiter stack just above
stack_bottom (or the first element if stack_bottom is NULL).
We keep track of the openers_bottom for each delimiter type (*, _) and each length of the
closing delimiter run (modulo 3). Initialize this to stack_bottom.
• Move current_position forward in the delimiter stack (if needed) until we find the
first potential closer with delimiter * or _. (This will be the potential closer closest
to the beginning of the input – the first one in parse order.)
• Now, look back in the stack (staying above stack_bottom and the openers_bottom
for this delimiter type) for the first matching potential opener (“matching” means same
delimiter).
• If one is found:
◦ Figure out whether we have emphasis or strong emphasis: if both closer and
opener spans have length >= 2, we have strong, otherwise regular.
◦ Insert an emph or strong emph node accordingly, after the text node
corresponding to the opener.
◦ Remove any delimiters between the opener and closer from the delimiter stack.
◦ Remove 1 (for regular emph) or 2 (for strong emph) delimiters from the opening
and closing text nodes. If they become empty as a result, remove them and
remove the corresponding element of the delimiter stack. If the closing node is
removed, reset current_position to the next element in the stack.
• If none is found:
After we’re done, we remove all delimiters above stack_bottom from the delimiter stack.