dbramucci
commented
6 years ago Currently the prototype has
- lt : <
- le : ≤
- gt : >
- ge : ≥
- neq : ≠
- forall : ∀
- exists : ∃
- in : ∈
- notin : ∉
- assign : ⭠
- land : ∧
Open dbramucci opened 6 years ago
dbramucci
commented
6 years ago Currently the prototype has
By default, almu575 will have some built-in symbols, what should those be?