Local domain is internal.example.com
Email server is mailserver.internal.example.com
Users have proxy addresses so they send from @example.com
Incoming email is process by an email security device at the ISP that hosts example.com
Outgoing email goes directly from the internal network.
My question is for the PTR record. Should its name be mailserver.internal.example.com or mailserver.example.com ?