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
