t\'ien-ching synonym