Text this: On the coderivative of the projection operator onto the second-order cone

 _    _    __   __   _    _    __   __    ______  
| || | ||  \ \\/ // | || | ||  \ \\/ //  /_   _// 
| || | ||   \ ` //  | || | ||   \ ` //   `-| |,-  
| \\_/ ||    | ||   | \\_/ ||    | ||      | ||   
 \____//     |_||    \____//     |_||      |_||   
  `---`      `-`'     `---`      `-`'      `-`'