diff --git a/source/lex.tex b/source/lex.tex index 59c8a75d0b..7a0f88edee 100644 --- a/source/lex.tex +++ b/source/lex.tex @@ -744,7 +744,7 @@ \microtypesetup{protrusion=false}\obeyspaces \nontermdef{operator-or-punctuator} \textnormal{one of}\br \terminal{\{ \} [ ] ( )}\br - \terminal{<: :> <\% \%> ; : ...}\br + \terminal{<\% \%> <: :> ; : ...}\br \terminal{? :: . .* -> ->* \~}\br \terminal{! + - * / \% \caret{} \& |}\br \terminal{= += -= *= /= \%= \caret{}= \&= |=}\br