summaryrefslogtreecommitdiffstats
path: root/eqn.7
diff options
context:
space:
mode:
Diffstat (limited to 'eqn.7')
-rw-r--r--eqn.711
1 files changed, 10 insertions, 1 deletions
diff --git a/eqn.7 b/eqn.7
index c9c2e993..a8447f4a 100644
--- a/eqn.7
+++ b/eqn.7
@@ -63,11 +63,20 @@ The equation grammar is as follows:
.Bd -literal -offset indent
eqn : box | eqn box
box : text
- | { eqn }
+ | { eqn }
| DEFINE text text
| SET text text
| UNDEF text
+ | box mark
text : TEXT
+mark : DOT
+ | DOTDOT
+ | HAT
+ | TILDE
+ | VEC
+ | DYAD
+ | BAR
+ | UNDER
.Ed
.Pp
Data in TEXT form is a non-empty sequence of non-space characters or a