===================================================================
RCS file: /cvs/mandoc/eqn.7,v
retrieving revision 1.6
retrieving revision 1.14
diff -u -p -r1.6 -r1.14
--- mandoc/eqn.7	2011/07/21 11:34:53	1.6
+++ mandoc/eqn.7	2011/07/22 12:55:02	1.14
@@ -1,4 +1,4 @@
-.\"	$Id: eqn.7,v 1.6 2011/07/21 11:34:53 kristaps Exp $
+.\"	$Id: eqn.7,v 1.14 2011/07/22 12:55:02 kristaps Exp $
 .\"
 .\" Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
 .\"
@@ -14,7 +14,7 @@
 .\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 .\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 .\"
-.Dd $Mdocdate: July 21 2011 $
+.Dd $Mdocdate: July 22 2011 $
 .Dt EQN 7
 .Os
 .Sh NAME
@@ -63,10 +63,37 @@ The equation grammar is as follows:
 .Bd -literal -offset indent
 eqn     : box | eqn box
 box     : text
+        | { eqn }
         | DEFINE text text
         | SET text text
         | UNDEF text
+        | box pos box
+        | box mark
+        | pile { list }
+        | font box
+        | SIZE text box
+        | LEFT text eqn [RIGHT text]
 text    : TEXT
+pile    : LPILE
+        | CPILE
+        | RPILE
+pos     : OVER
+        | SUP
+        | SUB
+        | TO
+        | FROM
+mark	: DOT
+        | DOTDOT
+        | HAT
+        | TILDE
+        | VEC
+        | DYAD
+        | BAR
+        | UNDER
+font    : ROMAN
+        | ITALIC
+        | BOLD
+list    : eqn | list ABOVE eqn
 .Ed
 .Pp
 Data in TEXT form is a non-empty sequence of non-space characters or a
@@ -100,6 +127,7 @@ Note that a quoted
 causes errors in some
 .Nm
 implementations and should not be considered portable.
+It is not expanded for replacements.
 Definitions may refer to other definitions; these are evaluated
 recursively when text replacement occurs and not when the definition is
 created.
@@ -115,6 +143,15 @@ Self-referencing definitions will raise an error.
 .It Cm set
 Set an equation mode.
 Both arguments are thrown away.
+Its syntax is as follows:
+.Pp
+.D1 set Ar key val
+.Pp
+The
+.Ar key
+and
+.Ar val
+are not expanded for replacements.
 .It Cm undef
 Unset a previously-defined key.
 Its syntax is as follows:
@@ -124,6 +161,9 @@ Its syntax is as follows:
 Once invoked, the definition for
 .Ar key
 is discarded.
+The
+.Ar key
+is not expanded for replacements.
 .El
 .Sh COMPATIBILITY
 This section documents the compatibility of mandoc