如何标记 GUI 菜单命令

Question

我正在为定制软件编写用户文档，想知道是否有内置命令、库或“最佳实践”用于语义标记 GUI 命令？这个想法大致如下：

\item {
    The user should select the \texttt{File \textrightarrow Save} option...
}

是否存在这样的事物，或者我应该只使用texttt或textbf？