Tack esquerdo

Leia ⊣ de acordo com a notação que o define.

Na teoria das categorias, F ⊣ G indica que F é adjunto à esquerda de G, uma relação formal entre duas construções. APL, uma linguagem de programação simbólica, usa ⊣ como função identidade à esquerda: X ⊣ Y retorna X, enquanto ⊣Y retorna Y.

Em lógica, ⊣ é um torniquete invertido; a relação exata que ele indica depende do sistema.

A direção muda a função

A história da família dos torniquetes começa na lógica formal. No livro de Frege de 1879, Begriffsschrift, um sistema de notação lógica, havia um sinal de asserção formado por um traço horizontal de conteúdo e um traço vertical de juízo. Sistemas lógicos posteriores desenvolveram sinais relacionados, como ⊢ e ⊨, para distinguir derivação de consequência semântica.

A história da APL registra duas maneiras concorrentes de nomear a direção do tack. Por isso, alguns nomes compostos da APL não correspondem às indicações esquerda/direita do Unicode, embora o sinal desenhado permaneça igual.