^ mindre » vanlig högtidlighet.