What prosign is sent to indicate the end of a formal message when using CW?

Explanation

AR, sent as a single character, is the prosign for end of message and closes the message text before the call signs are exchanged. SK marks the end of the entire contact and BK is an informal hand-back, so neither ends a formal message.