Also worth noting are the documentation strings that can be associated with declarations and equations.
Также примечательны строки документации, которые могут быть ассоциированы с декларациями и уравнениями.