* <= is $\leq$
 * text in math mode should be done as $|v_\text{true}|$