El símbolo fue utilizado por primera vez por Gottlob Frege en su libro sobre la lógica en 1879, Begriffsschrift.
En Unicode, el símbolo (⊢) se llama tacha derecha y está mapeado en el código U+22A2.
[3] Se puede emular en caracteres ASCII con barra vertical (|) y un guion (-).
Existen varias interpretaciones en diferentes contextos: representa una consecuencia sintáctica (o "derivabilidad").
En teoría de la prueba, el trinquete es usado para evaluar si es posible ser probado.