summaryrefslogtreecommitdiffstats
path: root/eqn.7
diff options
context:
space:
mode:
Diffstat (limited to 'eqn.7')
-rw-r--r--eqn.74
1 files changed, 4 insertions, 0 deletions
diff --git a/eqn.7 b/eqn.7
index a8447f4a..9e558d6d 100644
--- a/eqn.7
+++ b/eqn.7
@@ -68,6 +68,7 @@ box : text
| SET text text
| UNDEF text
| box mark
+ | font box
text : TEXT
mark : DOT
| DOTDOT
@@ -77,6 +78,9 @@ mark : DOT
| DYAD
| BAR
| UNDER
+font : ROMAN
+ | ITALIC
+ | BOLD
.Ed
.Pp
Data in TEXT form is a non-empty sequence of non-space characters or a