Timeline for How to implement Donald Knuth's up-arrow notation
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28, 2014 at 8:44 | comment | added | Stephen Luttrell |
As you say, ↑ is already associated with UpArrow, so you don't actually need to associate it again using Notation — my suggested use of Notation is thus redundant in this case. However, I never pass up the opportunity to fly the flag for the wonderful but underused Notation package — more people need to know about it.
|
|
| Jun 27, 2014 at 18:38 | comment | added | Mr.Wizard |
Is there any reason to do this? Using the built-in associated Symbol UpArrow seems like a much better option.
|
|
| Jun 27, 2014 at 9:31 | history | answered | Stephen Luttrell | CC BY-SA 3.0 |