===================================================================
RCS file: /cvs/mandoc/eqn.7,v
retrieving revision 1.5
retrieving revision 1.13
diff -u -p -r1.5 -r1.13
--- mandoc/eqn.7	2011/07/21 10:24:35	1.5
+++ mandoc/eqn.7	2011/07/21 23:30:39	1.13
@@ -1,4 +1,4 @@
-.\"	$Id: eqn.7,v 1.5 2011/07/21 10:24:35 kristaps Exp $
+.\"	$Id: eqn.7,v 1.13 2011/07/21 23:30:39 kristaps Exp $
 .\"
 .\" Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
 .\"
@@ -63,16 +63,44 @@ 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 box [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
 non-empty quoted string.
 Unless within a quoted string, white-space (and enclosing literal quote
 pairs) is thrown away.
+Quoted strings are not scanned for replacement definitions.
 .Pp
 The following control statements are available:
 .Bl -tag -width Ds
@@ -99,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.
@@ -114,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:
@@ -123,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