En
lógica matemática y
ciencias de la computación, el símbolo se llama
trinquete, por su semejanza con un
trinquete o molinillo observado desde arriba. Se puede leer como "es lo que causa", "deduce que", "acarrea en" o "satisfecho" (siendo este el más común). El símbolo fue utilizado por primera vez por
Gottlob Frege en su libro sobre la lógica en 1879, Begriffsschrift.