From b6b0c17892e152170d12bdaea0b4026714afc58b Mon Sep 17 00:00:00 2001
From: Tanaka Akira
Date: Thu, 31 Jan 2019 19:34:22 +0900
Subject: Use λ instead of \lb.

The former is more succinct and intuitive.
---
 doc/sphinx/language/cic.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/cic.rst
index 6ea3bcef23..67683902cd 100644
--- a/doc/sphinx/language/cic.rst
+++ b/doc/sphinx/language/cic.rst
@@ -353,7 +353,7 @@ following rules.
    \WTEG{∀ x:T,~U}{s}
    \WTE{\Gamma::(x:T)}{t}{U}
    ------------------------------------
-   \WTEG{\lb x:T\mto t}{∀ x:T,~U}
+   \WTEG{λ x:T\mto t}{∀ x:T,~U}
 
 .. inference:: App
 
-- 
cgit v1.2.3