From 4f42fb583275bab31eab93c58c0cdd547c51d990 Mon Sep 17 00:00:00 2001
From: Tanaka Akira
Date: Thu, 31 Jan 2019 15:57:30 +0900
Subject: Make "1" and "2" in "f1" and "f2" suffixes.

---
 doc/sphinx/language/cic.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

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
 
-- 
cgit v1.2.3