rough_notation
