更改列表语言中分隔符的美观打印

Question

在我的列表语言中我有

评论样式=\color{red}

morecomment = [n][commentstyle]{(*}{*)}

因此注释被写入 (* df *) 在 tex 文件中，结果如下

。

这些粗而居中的星号看起来不适合我的语言。我希望它们看起来像\text{a*b}这样（星号较小，并且上升到一半，与 StackExchange 上显示的完全一样）。我也需要在注释之外使用星号，理想情况下，我希望单独选择它们的样式。我知道我可以通过将它们放在文字中来更改星号的样式，但这意味着我的注释不起作用。那么是否可以更改注释分隔符的样式（而不更改列表环境的输入），是否可以独立更改与注释（或其他）分隔符部分重叠的文字的样式？

这是 MWE

\documentclass{article}

\usepackage{color}
\usepackage{listings}

\lstdefinelanguage{Isar}{
    stringstyle=\color{black},
    commentstyle=\color{red},
    moredelim = [s][stringstyle]{"}{"},
    morecomment = [n][commentstyle]{(*}{*)}, 
    literate=
                {\\<not>}{{$\neg$}}1 
                {\\<times>}{{$×$}}1
  }[comments,strings]%
  
\begin{document}

\begin{lstlisting}[language=Isar]{}  
locale Line_Measure = Lines isLine
  "a*b" (*df*) 
\end{lstlisting}

\end{document}