Open maihde opened 5 years ago
It's confusing for 6 to mean triangle. Allow symbols to be defined using either name or number.
It's confusing for 6 to mean triangle. Allow symbols to be defined using either name or number.