Chinese: 他们礼节性地相互打了个招呼。
English: They exchanged formal greetings.