Google

def notationdecl content end