diff options
| author | Tanaka Akira | 2019-01-31 15:57:30 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 15:57:30 +0900 |
| commit | 4f42fb583275bab31eab93c58c0cdd547c51d990 (patch) | |
| tree | 5eeedd198b5ecb1c6a5cae21d4e879b36b333005 | |
| parent | dae0b322108d68c7d57837d99a4d15baf6ce5489 (diff) | |
Make "1" and "2" in "f1" and "f2" suffixes.
| -rw-r--r-- | doc/sphinx/language/cic.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/cic.rst index 5c965527ff..12b55bf8e9 100644 --- a/doc/sphinx/language/cic.rst +++ b/doc/sphinx/language/cic.rst @@ -1469,7 +1469,7 @@ We write :math:`\{c\}^P` for :math:`\{c:C\}^P` with :math:`C` the type of :math: can be represented in abstract syntax as .. math:: - \case(t,P,f 1 | f 2 ) + \case(t,P,f_1 | f_2 ) where |