Maybe those @ signs indicate timestamp patterns, which would make sense with the @ meaning, and the pattern matching which we've seen before. Like [1st] could be matched by pst or est or something.