You're thinking of "a\u000b". "a\u0000b" is the three-character string also written "a\x00b".