3 ms·

What I wanted to mention is that maybe (although probably not possible with the current grammar) an alternative would have been to remove the dot. STR"x=\{x}