Yes. The eprint() function in lib.c (line 801 specifically) has:

(void) fprintf(stderr, " <<< ");

This prints a trailing space right after the "<<<" bit. If there's more content on the line, then this space separates the "<" characters from the others.