Hi Ypo,

You’ll likely want to override `org-html-verbatim' and `org-latex-verbatim' to
produce overlines in exports.

All the best,
Timothy