You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are \wedge for logical (∧) "and" and \vee for logical "or" (∨), I believe.
One could have multiple tab completions for the same symbol, of course (and there already are in some cases). Since the tab completions are taken from the Julia REPL (and are periodically updated from there?) one might submit a patch for Julia first and then pull an update over here.
No description provided.
The text was updated successfully, but these errors were encountered: