Currently PdfFormatProvider does not use the track-changes styles when exporting the document. So the different text color, underline, strike through or borders will not appear in the exported PDF.
Make sure to cast your vote for the implementation of the task as this directly affects its priority and continue following this item so you can be notified of any status changes on it.
This is a very important piece of functionality lacking in the RichTextBox export to PDF. Users expect that the document exported to PDF will look just like it does when printed directly.