Pijl omlaag met twee punten

Het geeft een richting omlaag aan; de context bepaalt de precieze relatie.

Je ziet het in schema’s en technische notatie. Unicode vermeldt ook de namen ‘form feed’ (paginaopvoer) en ‘fast cursor down’ (snelle cursor omlaag), die verband houden met pagina- en cursorbeweging.

Pijlnotatie ging van schema’s naar de logica

Een verhandeling over waterraderen uit 1737 gebruikte pijlachtige tekens om de stroming aan te geven. In 1922 gebruikte de formele logica, een systeem om redeneerregels op te schrijven, pijlen voor ‘als dit, dan dat’; in 1933 duidden pijlen met twee punten op equivalentie, een relatie die in beide richtingen geldt.