def. of \intsem'
def 3.2