\nonstopmode
\documentclass[12pt]{article}
\usepackage{bsymb}
\usepackage{cancel}
\pagestyle{empty}
\begin{document}
$$
{\frac  {}{{\textbf  {H}}\;\;\vdash \;\;{\textbf  {\btrue }}}}
$$
\end{document}