需要用正则表达式替换以下指令：
选择：<
替换：\sl
选择：\\subsection\{(.*)\}
替换为：<h2>$1</h2>
选择：\\subsubsection\*\{(.*)\}
替换为：<h3>$1</h3>
选择：\\begin\{prop\}([\w\W\r]+?)\\end\{prop\}
替换为：<div class="prop">$1</div>
选择：\\begin\{proof\}([\w\W\r]+?)\\end\{proof\}
替换为：<div class="proof">$1</div>
选择：\\begin\{thm\}([\w\W\r]+?)\\end\{thm\}
替换为：<div class="thm">$1</div>
选择：\\begin\{corl\}([\w\W\r]+?)\\end\{corl\}
替换为：<div class="corl">$1</div>
选择：\\begin\{lema\}([\w\W\r]+?)\\end\{lema\}
替换为：<div class="lema">$1</div>
选择：\\begin\{rmk\}([\w\W\r]+?)\\end\{rmk\}
替换为：<div class="rmk">$1</div>
选择：\\begin\{emp\}([\w\W\r]+?)\\end\{emp\}
替换为：<div class="emp">$1</div>
选择：\\begin\{enumerate\}([\w\W\r]+?)\\end\{enumerate\}
替换为：<ol>$1</ol>
选择：\\label\{(.*)\}
替换为：\label{$1} \tag{$1}
选择：\\begin\{dcases\}([\w\W\r]+?)\\end\{dcases\}
替换为：\begin{cases}$1\end{cases}
选择：\\footnote\{([\w\W\r]+?)\}
替换为：<footnote>$1</footnote>
选择：\\href\{([\w\W\r]+?)\}\{([\w\W\r]+?)\}
替换为：<a href="$1" title="$2">$2</a>
选择：\\xrightharpoonup\{([\w\W\r]+?)\}
替换为：\overset{$1}{\rightharpoonup}
选择：\\xRightarrow\{([\w\W\r]+?)\}
替换为：\overset{$1}{\rightharpoonup}
选择：\\detail\{([\w\W\r]+?)\}
替换为：<span style="color:gray">($1)</span>
在首行添加：$\require{extpfeil}\Newextarrow{\xRightarrow}{5,5}{0x21D2}$以保证xRightarrow命令正常运行