[congr ]	\(=~
[dArr  ]	\(dA
[dquot ]	"
[ero   ]	&
[etago ]	</
[hArr  ]	\(hA
[harr  ]	\(<>
[mid   ]	\(br
[mu    ]	u
[oplus ]	\(c+
[otimes]	\(c*
[setmn ]	\(rs
[tm    ]	(TM)
[uArr  ]	\(uA
[vDash ]	"\z\(br="
[vdash ]	"\z\(br\(en"
urlnam	
refnam	
