From 2f545772f33f7cd4a4a1527619a2f823ada0e7c4 Mon Sep 17 00:00:00 2001 From: Rao Xiaojia Date: Sun, 3 Mar 2024 21:12:25 +0000 Subject: [PATCH] Fixing latex as well --- document/core/valid/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/valid/modules.rst b/document/core/valid/modules.rst index 23c00f7e71..59a2fffed2 100644 --- a/document/core/valid/modules.rst +++ b/document/core/valid/modules.rst @@ -639,7 +639,7 @@ Instead, the context :math:`C` for validation of the module's content is constru \\ C = \{ \CTYPES~\type^\ast, \CFUNCS~\X{ift}^\ast\,\X{ft}^\ast, \CTABLES~\X{itt}^\ast\,\X{tt}^\ast, \CMEMS~\X{imt}^\ast\,\X{mt}^\ast, \CGLOBALS~\X{igt}^\ast\,\X{gt}^\ast, \CELEMS~\X{rt}^\ast, \CDATAS~{\ok}^n, \CREFS~x^\ast \} \\ - C' = \{ \CGLOBALS~\X{igt}^\ast, \CFUNCS~(C.\CFUNCS), \CREFS~(C.\CREFS) \} + C' = \{ \CGLOBALS~\X{igt}^\ast, \CFUNCS~(C.\CFUNCS), \CTABLES~(C.\CTABLES), \CMEMS~(C.\CMEMS), \CREFS~(C.\CREFS) \} \qquad |C.\CMEMS| \leq 1 \qquad