diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/reference/ReferencePart.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index d628a57c2d..5dab7ca1e6 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -88,7 +88,7 @@ val var while with yield _ : = => <- <: >: # @ \end{lstlisting} -The Unicode operator `$\Rightarrow$' has the ASCII equivalent +The Unicode operator `$\Rightarrow$' (\textsc{U+21D2}) has the ASCII equivalent `$=>$', which is also reserved. \example |