Please enable JavaScript to use regex101
/
^
r
e
g
e
x
[
\
-
_
]
?
1
0
1
$
/
i
Reg
ular
Ex
pressions
101
Upgrade to Pro
Enterprise
Regular Expression
/
\\bel{([^}]*)}{([^}]*)}
/
gm
Input 1
1
New
\newline\newline$\FA{\bel{K, L}{\Class}}(\rown{K = L}{\FA{x}(\rown{\bel{x}{K}}{\bel{x}{L}})})$
Substitution
\1 : \2
\newline\newline$\FA{\bel{K, L}{\Class}}(\rown{K = L}{\FA{x}(\rown{\bel{x}{K}}{\bel{x}{L}})})$