<replace>
	<target text="＿" replace="<wait time=20/>"/>
	<target text="∇" replace='<gaiji no=1/>'/>
	<target text="∴" replace="<gaiji no=2/>"/>
	<target text="∫" replace="<gaiji no=3/>"/>
	<target text="♯" replace="<gaiji no=4/>"/>
	<target text="仝" replace="<gaiji no=5/>"/>
	<target text="ξ" replace="<gaiji no=6/>"/>
	<target text="【" replace='<font color="#ff9966">'/>
	<target text="】" replace="</font>"/>
</replace>