LaTeXでは \vdash で入力するので研究者はブイダッシュといったり、あるいは imply と読んでいるひともいたような。