diff options
Diffstat (limited to 'docs/tutorial/index.html')
| -rw-r--r-- | docs/tutorial/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tutorial/index.html b/docs/tutorial/index.html index 33ed9f53..06a0ec5c 100644 --- a/docs/tutorial/index.html +++ b/docs/tutorial/index.html @@ -35,7 +35,7 @@ <tr> <td><a href="variable.html">Variables</a></td> <td>Declarations, cross-roles</td> -<td><code><span class='Function'>∧∨¬↑↓«»</span><span class='Modifier2'>⌾</span></code></td> +<td><code><span class='Function'>∧∨¬⊣⊢↑↓«»</span><span class='Modifier2'>⌾</span></code></td> </tr> </tbody> </table> |