Tag: how to insert type symbol