Downarrows einheitlich mit \scriptstyle versehen