# Tag Info

2

Are you searching for this symbol? \documentclass[a4paper,12pt]{article} \usepackage{amssymb} \begin{document} $A\Vdash B$ \end{document}

0

Thanks to those who've answered in the comments. The solution seems to be: you can't avoid using an auxiliary file.

Top 50 recent answers are included