3 ms·
I do know that some ALGOL 68 implementations used \/ and /\. Not sure if there are any modern systems that do. Of course nowadays we can use the Unicode ∨ and ∧
by vincent-manis 5y ago
I do know that some ALGOL 68 implementations used \/ and /\. Not sure if there are any modern systems that do. Of course nowadays we can use the Unicode ∨ and ∧ symbols if we want to (though in the font I'm typing this in, the former can too easily be confused with v).