Line_notation loading ...