I've replace § by $