summaryrefslogtreecommitdiffstats
path: root/eqn.7
diff options
context:
space:
mode:
Diffstat (limited to 'eqn.7')
-rw-r--r--eqn.76
1 files changed, 6 insertions, 0 deletions
diff --git a/eqn.7 b/eqn.7
index 9e558d6d..083f2b64 100644
--- a/eqn.7
+++ b/eqn.7
@@ -67,9 +67,15 @@ box : text
| DEFINE text text
| SET text text
| UNDEF text
+ | box pos box
| box mark
| font box
text : TEXT
+pos : OVER
+ | SUP
+ | SUB
+ | TO
+ | FROM
mark : DOT
| DOTDOT
| HAT