I want a triple-bar turnstile symbol to go alongside the single-bar
\vdash and the double-bar
\vDash – a symbol the same size and weight as the Computer Modern turnstiles:
(The Comprehensive LaTeX Symbol List tells me there is is a stix version, but it doesn't really match the CM symbols.)
I can cook up something that almost works with
But I'm just wondering if someone has a nicer solution out there!