#include <MsgBoxConstants.au3> ; to declare the Constants of MsgBox
Local $sRegex = "(?m)\\bel{([^}]*)}{([^}]*)}"
Local $sString = "\newline\newline$\FA{\bel{K, L}{\Class}}(\rown{K = L}{\FA{x}(\rown{\bel{x}{K}}{\bel{x}{L}})})$"
Local $sSubst = "\1 : \2"
Local $sResult = StringRegExpReplace($sString, $sRegex, $sSubst)
MsgBox($MB_SYSTEMMODAL, "Result", $sResult)
Please keep in mind that these code samples are automatically generated and are not guaranteed to work. If you find any syntax errors, feel free to submit a bug report. For a full regex reference for AutoIt, please visit: https://www.autoitscript.com/autoit3/docs/functions/StringRegExp.htm