[spec] Eps

Author: rossberg

document/core/appendix/embedding.rst

@@ -33,7 +33,7 @@ Failure of an interface operation is indicated by an auxiliary syntactic class:
 
 .. math::
    \begin{array}{llll}
-   \production{(error)} & \error &::=& \ERROR \\
+   \production{error} & \error &::=& \ERROR \\
    \end{array}
 
 In addition to the error conditions specified explicitly in this section, implementations may also return errors when specific :ref:`implementation limitations <impl>` are reached.

document/core/text/conventions.rst

@@ -117,7 +117,7 @@ It is convenient to define identifier contexts as :ref:`records <notation-record
 
 .. math::
    \begin{array}{llll}
-   \production{(identifier context)} & I &::=&
+   \production{identifier context} & I &::=&
      \begin{array}[t]{l@{~}ll}
      \{ & \ITYPES & (\Tid^?)^\ast, \\
         & \IFUNCS & (\Tid^?)^\ast, \\

document/core/valid/conventions.rst

@@ -54,7 +54,7 @@ More concretely, contexts are defined as :ref:`records <notation-record>` :math:
 
 .. math::
    \begin{array}{llll}
-   \production{(context)} & C &::=&
+   \production{context} & C &::=&
      \begin{array}[t]{l@{~}ll}
      \{ & \CTYPES & \functype^\ast, \\
         & \CFUNCS & \functype^\ast, \\