proportionalnotation