1 files changed, 1 insertions, 0 deletions
diff --git a/eqn.7 b/eqn.7
index 083f2b64..3f8b7f7c 100644
--- a/eqn.7
+++ b/eqn.7
@@ -70,6 +70,7 @@ box     : text
         | box pos box
         | box mark
         | font box
+        | SIZE text box
 text    : TEXT
 pos     : OVER
         | SUP