Hi Christian,

I found here that the output template for code segments can be customized: https://stackoverflow.com/questions/40033843/show-the-name-of-a-code-block-in-org-mode-when-export

After some experimentation I came up with the following snippet:

(setq org-babel-exp-code-template
      (concat "\n\\langle /%name/ \\rangle\\equiv\n"
              org-babel-exp-code-template))

(BTW the entity names can be found by running M-x org-entities-help)

Which results in the attached output from a simple code sample. It’s not perfect yet (e.g. the indentation of the labels is wrong, and there’s an extras space between the brackets and label), but I’m sure these can be fixed with some more tweaking.

Hope this helps,
—Diego