diff options
-rw-r--r-- | docs/users_guide/exts/lambda_case.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/exts/lambda_case.rst b/docs/users_guide/exts/lambda_case.rst index 6872101698..ca648fa904 100644 --- a/docs/users_guide/exts/lambda_case.rst +++ b/docs/users_guide/exts/lambda_case.rst @@ -24,11 +24,11 @@ of the form :: \cases { p11 ... pM1 -> e1; ...; p1N ... pMN -> eN } -which is equivalent to a function defined as +which is equivalent to a function defined as :: - f p11 ... pM1 -> e1 + f p11 ... pM1 = e1 ... - f p1N ... pMN -> eN + f p1N ... pMN = eN Note that both ``\case`` and ``\cases`` start a layout, so you can write :: |