i formell logik: tecken för disjunktion (eller). Närmare bestämt tecken för inklusiv disjunktion. Det ska vara två lodräta streck tätt intill varandra. Ett vanligare tecken för inklusiv disjunktion är ∨.
[logiska symboler] [tecken] [ändrad 24 november 2019]