From bf4bab98f7741f3559b38755f92734c8efab3916 Mon Sep 17 00:00:00 2001 From: Philip Withnall Date: Wed, 2 Nov 2022 11:10:06 +0000 Subject: [PATCH] docs: Fix forall formatting in GVariant Specification Signed-off-by: Philip Withnall --- docs/reference/glib/gvariant-specification-1.0.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/reference/glib/gvariant-specification-1.0.rst b/docs/reference/glib/gvariant-specification-1.0.rst index 56a1940c4..f5d9d3aab 100644 --- a/docs/reference/glib/gvariant-specification-1.0.rst +++ b/docs/reference/glib/gvariant-specification-1.0.rst @@ -1327,7 +1327,7 @@ Given a few “intuitive” lemmas, we can prove that the reduction rules are so **Lemma 3** .. math:: - \forall{c}, (0 ↑ c) = 0 + \forall{c}: (0 ↑ c) = 0 Addition Rule ^^^^^^^^^^^^^