You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: source/intro.tex
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -954,7 +954,7 @@
954
954
\pnum
955
955
\indextext{notation!syntax|(}%
956
956
In the syntax notation used in this document, syntactic
957
-
categories are indicated by \fakegrammarterm{italic} type, and literal words
957
+
categories are indicated by \fakegrammarterm{italic, sans-serif} type, and literal words
958
958
and characters in \tcode{constant} \tcode{width} type. Alternatives are
959
959
listed on separate lines except in a few cases where a long set of
960
960
alternatives is marked by the phrase ``one of''. If the text of an alternative is too long to fit on a line, the text is continued on subsequent lines indented from the first one.
0 commit comments