\[the literal [ (9110 / 1338 / 5B16)
\da digit
\da digit
.any character (except for line terminators)
\da digit
\da digit
.any character (except for line terminators)
\da digit
\da digit
\da digit
\da digit
:the literal : (5810 / 728 / 3A16)
\da digit
\da digit
\]the literal ] (9310 / 1358 / 5D16)