couple of \symbol shortcuts