--- /dev/null
+++ /dev/null
@@ -2050,6 +2056,9 @@ Changes
Added definition of <> notation to definition of identifiers.
Added <> as a shorthand for <> | <>,
along with equivalent productions for angles, numbers, times, and frequencies.
+ Allowed <>s inside ''calc()'' to resolve as their own type,
+ if they occur in some (as yet theoretical) context
+ where they are not compatible with any other type.
Various clarifications and editorial improvements.