tex-insert-dollar