Suvayu Ali <fatkasuvayu+linux <at> gmail.com> writes: [..] > <at> <at> latex:\hoareTriple{V}{ <at> <at> \(\textmath{merge}\) <at> <at> latex:}{P} <at> <at> > > See the help string for org-export-snippet-translation-alist. > > Hope this helps,
Yes!! It does help a lot! Thank you very much. Best regards, Marko