[congr ]	&congr;
[dArr  ]	⇓
[dquot ]	"
[ero   ]	&
[etago ]	</
[hArr  ]	⇔
[harr  ]	↔
[mid   ]	∣
[mu    ]	µ
[oplus ]	⊕
[otimes]	⊗
[setmn ]	∖
[tm    ]	™
[uArr  ]	⇑
[vDash ]	⊨
[vdash ]	⊢
urlnam	<@@urlnam>
refnam	<@@refnam>