fixup definitions

Author: Guy Bedford

document/core/syntax/modules.rst

@@ -380,8 +380,8 @@ The import corresponding to an export description is given by:
 
 For embedder convenience, we also define:
 
-* :math:``\isdirectexport(m, \exportdesc) = (\importforexport(m, \exportdesc) = \epsilon)`
-* :math:``\isindirectexport(m, \exportdesc) = (\importforexport(m, \exportdesc) \neq \epsilon)`
+* :math:`\isdirectexport(m, \exportdesc) = (\importforexport(m, \exportdesc) = \epsilon)`
+* :math:`\isindirectexport(m, \exportdesc) = (\importforexport(m, \exportdesc) \neq \epsilon)`
 
 Conventions
 ...........

document/core/util/macros.def

@@ -347,6 +347,8 @@
 .. |edmems| mathdef:: \xref{syntax/modules}{syntax-exportdesc}{\F{mems}}
 .. |edglobals| mathdef:: \xref{syntax/modules}{syntax-exportdesc}{\F{globals}}
 .. |importforexport| mathdef:: \xref{syntax/modules}{syntax-export}{\F{import\_for\_export}}
+.. |isdirectexport| mathdef:: \xref{syntax/modules}{syntax-export}{\F{is\_direct\_export}}
+.. |isindirectexport| mathdef:: \xref{syntax/modules}{syntax-export}{\F{is\_indirect\_export}}
 
 
 .. Instructions, terminals