Use Doxygen-style comments.