From 6012f2dad2c20333d77358ce8eb0424c85ebb349 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 15 Feb 2023 15:51:32 +0100 Subject: [PATCH] [spec] Clarify in conventions that atoms can be symbolic --- document/core/syntax/conventions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/syntax/conventions.rst b/document/core/syntax/conventions.rst index 9e5dca1820..5eeff48cd1 100644 --- a/document/core/syntax/conventions.rst +++ b/document/core/syntax/conventions.rst @@ -20,7 +20,7 @@ Grammar Notation The following conventions are adopted in defining grammar rules for abstract syntax. -* Terminal symbols (atoms) are written in sans-serif font: :math:`\K{i32}, \K{end}`. +* Terminal symbols (atoms) are written in sans-serif font or in symbolic form: :math:`\K{i32}, \K{end}, {\to}, [, ]`. * Nonterminal symbols are written in italic font: :math:`\X{valtype}, \X{instr}`.