zsh: add texide as a function