f:\ \ x \compose{\tiny{\vdash}}{\hspace{12}\raisebox{2}{\rightarrow}} \ \left{\ x\text{ f\ddot ur }x\ <\ 0_\ \\\ 2x\text{ f\ddot ur }x\ \geq\ 0^\ \right.