Arc Forum
new
|
comments
|
leaders
|
submit
login
1 point
by
Adlai
5660 days ago |
link
|
parent
Or we could use ^ for disjunction.
1 point
by
fallintothis
5660 days ago |
link
But ^ is the symbol for
con
junction, i.e. "and"-ing (well, not the literal caret, but the upwards-pointing symbol -- $\wedge$ in Latex). Did you mean to suggest ^ instead of +?
-----