diff --git a/grammar/src/notation.grm b/grammar/src/notation.grm
index 3f9a48fbfb6..94e4316bc21 100644
--- a/grammar/src/notation.grm
+++ b/grammar/src/notation.grm
@@ -18,4 +18,11 @@ Operator {color:blue}*\**{color} denotes _iteration_ (zero or more)
 Operator {color:blue}*+*{color} denotes _iteration_ (one or one)
 Operator {color:blue}*?*{color} denotes _option_ (zero or one)
 alpha{color:blue}*{*{color}beta{color:blue}*}*{color} denotes a nonempty _beta_-separated list of _alpha_'s
+
+h1. Semicolons
+
+*Up* provides "semicolon inference": syntactically, subsentences (e.g., statements, declarations etc) are separated by
+the pseudo-token [SEMI|#SEMI], which stands for "semicolon or newline". In most cases, there's no need for semicolons in
+*Up* code.
+
 */