[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