division sign name