The inverted JtJ does not multiply itself, but rather Jte. Correct this in the comment.
Attach a file by drag & drop or click to upload
