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

 _    _      ___     _    _    __   __   _    _   
| |  | ||   / _ \\  | \  / ||  \ \\/ // | || | || 
| |/\| ||  / //\ \\ |  \/  ||   \ ` //  | || | || 
|  /\  || |  ___  ||| .  . ||    | ||   | \\_/ || 
|_// \_|| |_||  |_|||_|\/|_||    |_||    \____//  
`-`   `-` `-`   `-` `-`  `-`     `-`'     `---`