diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-25 18:54:01 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-25 18:54:01 -0400 |
| commit | d2b372b66c473d4dbd51df6870ce5cb8ce9706b5 (patch) | |
| tree | bd8525fad6cbffff4e680179d86ca5d9a9779f16 /docs/spec/grammar.html | |
| parent | 32c7ecd7326f05673d0f3ff751ae4e4bc43f36cb (diff) | |
Highlight _𝕣 and _𝕣_ correctly
Diffstat (limited to 'docs/spec/grammar.html')
| -rw-r--r-- | docs/spec/grammar.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index 82964547..77678a95 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -120,7 +120,7 @@ <td><code><span class='Modifier'>_brMod1</span></code></td> <td><code><span class='Value'>𝕗𝕣</span></code></td> <td><code><span class='Function'>𝔽</span></code></td> -<td><code><span class='Modifier2'>_</span><span class='Value'>𝕣</span></code></td> +<td><code><span class='Modifier'>_𝕣</span></code></td> <td></td> <td></td> </tr> @@ -129,7 +129,7 @@ <td><code><span class='Value'>𝕘</span></code></td> <td><code><span class='Function'>𝔾</span></code></td> <td>None</td> -<td><code><span class='Modifier2'>_</span><span class='Value'>𝕣</span><span class='Modifier2'>_</span></code></td> +<td><code><span class='Modifier2'>_𝕣_</span></code></td> <td></td> </tr> </tbody> |