- docs_url: ../../../api/rosemacs/html location: noetic/symbols/rosemacs.tag package: rosemacs