🚧 Annotations to Annotations 🚧

This is about annotations to Martin Gardner’s annotations. And it is under construction.

 
2018-11-11, updated: 2021-11-22