[congr ]	\cong{}
[dArr  ]	\Downarrow{}
[dquot ]	\{dquot\}
[ero   ]	\&{}
[etago ]	</
[hArr  ]	\Leftrightarrow{}
[harr  ]	\leftrightarrow{}
[mid   ]	\mid{}
[mu    ]	\mch{\mu}
[oplus ]	\oplus{}
[otimes]	\otimes{}
[setmn ]	\setminus{}
[tm    ]	\( ^{\rm{TM}}\)
[uArr  ]	\Uparrow{}
[vDash ]	\models{}
[vdash ]	\vdash{}
urlnam	
refnam	
