mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-08-03 16:03:40 +02:00
docs: Fix forall formatting in GVariant Specification
Signed-off-by: Philip Withnall <pwithnall@endlessos.org>
This commit is contained in:
@@ -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
|
||||
^^^^^^^^^^^^^
|
||||
|
Reference in New Issue
Block a user