July 12, 2020
10:15 a.m.
While i am not sure why this notation was chosen, at least one precedent would be HTML where an element is defined by a starting tag named within angle-brackets and the end of the element is defined by a corresponding tag with the the same name prefixed with a "/" https://en.wikipedia.org/wiki/HTML_element#Syntax regards CVS