I don’t understand what that String rule is trying to match. $[] syntax defines a character set, which matches a single character. As such, putting the same character in it two times makes no sense. You seem to be trying to write an entire regexp in there, which is not what this syntax is for.