For the term "令子".