diff options
| author | Tanaka Akira | 2019-01-31 16:19:49 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 16:19:49 +0900 |
| commit | 57c808ce4ab8332bdae9b19cf97866e5ac87a31a (patch) | |
| tree | 8a70bbb88d807d7649c238b52507a570c833714f | |
| parent | 039007f93fa130261c97ec1188560777f1a297b9 (diff) | |
Nest :math: and parenthesis properly.
Exchange a closing parenthesis and a :math: closing backquote.
| -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 f8c223d4da..b0bdd91ac6 100644 --- a/doc/sphinx/language/cic.rst +++ b/doc/sphinx/language/cic.rst @@ -186,7 +186,7 @@ object :math:`P~t` of type :math:`\Prop`, namely a proposition. Furthermore :g:`forall x:nat, P x` will represent the type of functions which associate to each natural number :math:`n` an object of type :math:`(P~n)` and -consequently represent the type of proofs of the formula “:math:`∀ x. P(x`)”. +consequently represent the type of proofs of the formula “:math:`∀ x. P(x)`”. .. _Typing-rules: |