On 6/12/2022 3:26 PM, Edward Murphy via agora-business wrote: > [Some or all of this may have already occurred, see CFJs 3965 > through 3967. Possibly only rules numbered higher than 2658 > still contain ~> <~ delimited text.]
There aren't any rules like that. One key fortunate fact is that no matter what, R2658 is the highest-numbered rule that had any ~> or <~ in it (by virtue of it being created by the same proposal that inserted the symbols), so I can't think of any circumstances where some but not all of those symbols were deleted. -G.
