Inom programmering så används ju | för ELLER i ett antal olika programmeringsspråk (säkert även för logiska grindar, kretsar och annat filijox också).
När jag läste satslogik så använde vi symbolen V för att beteckna satslogiskt (eller ja, även predikatlogiskt) ELLER. Typ (p v q) utläses satsen p eller q är sann. Den symbolen är närbesläktad med U som i union inom mängdläran. Men som sagt, notation är ju oftast lite godtycklig beroende på skola/preferenser etc, och samma symboler betyder ofta helt olika saker i olika sammanhang.