I think `isset($val) ? $val : $default` is common enough.