Arc Forumnew | comments | leaders | submitlogin
1 point by Adlai 5607 days ago | link | parent

Or we could use ^ for disjunction.


1 point by fallintothis 5607 days ago | link

But ^ is the symbol for conjunction, i.e. "and"-ing (well, not the literal caret, but the upwards-pointing symbol -- $\wedge$ in Latex). Did you mean to suggest ^ instead of +?

-----