(tex-font-lock-append-prop): New fun.